Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Package
org.semanticweb.owl.model

Packages that use org.semanticweb.owl.model
org.semanticweb.owl.impl.model | A basic implementation of the OWL API.
org.semanticweb.owl.inference | Inference over OWL ontologies.
org.semanticweb.owl.io | Support for input and output of OWL models.
org.semanticweb.owl.io.abstract_syntax | Simple renderer that writes ontologies in OWL Abstract Syntax.
org.semanticweb.owl.io.owl_rdf |
org.semanticweb.owl.io.simple | Simple output of OWL models.
org.semanticweb.owl.model | An API for OWL.
org.semanticweb.owl.model.change | Change API for OWL Ontologies.
org.semanticweb.owl.model.helper | Helper classes for the OWL API.
org.semanticweb.owl.util |
org.semanticweb.owl.validation | Classes concerned with validation of OWL ontologies.
uk.ac.man.cs.img.owl.inference |
uk.ac.man.cs.img.owl.inference.dl |
uk.ac.man.cs.img.owl.inference.firstorder |
uk.ac.man.cs.img.owl.io.factplus | Simple renderer that writes ontologies in FaCT Lisp.
uk.ac.man.cs.img.owl.io.html |
uk.ac.man.cs.img.owl.io.tptp | Simple renderer that writes ontologies as TPTP.
uk.ac.man.cs.img.owl.presentation |
uk.ac.man.cs.img.owl.util |
uk.ac.man.cs.img.owl.validation |

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.impl.model
OWLAnd A conjunction of expressions.
OWLAnnotationInstance OWLAnnotationInstance.java Created: Thu May 08 17:36:07 2003
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLBooleanDescription An abstract interface encompassing And, Or and Not.
OWLCardinalityRestriction An OWLCardinalityRestriction represents an assertion about the number of role fillers a property can or must have.
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLClassAxiomVisitor A Visitor for OWL entities objects.
OWLDataAllRestriction A universally quantified restriction over a datatype property.
OWLDataCardinalityRestriction A CardinalityRestriction that applies to an `OWLDataProperty`.
OWLDataEnumeration An OWLDataEnumeration is a collection of `OWLDataValue`s, e.g. a data oneOf.
OWLDataFactory OWLDataFactory provides a single access point for the creation of objects within an ontology.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataPropertyInstance Represents an association between a particular individuals and a data value.
OWLDataQuantifiedRestriction A Restriction over an `OWLDataProperty` that is quantified.
OWLDataRange An abstract interface for data ranges.
OWLDataRestriction A Restriction that particularly applies to an `OWLDataProperty`.
OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDataValueRestriction A restriction over a datatype property with a given value.
OWLDeprecatableObject A super interface representing those things that can be deprecated.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLDescriptionVisitor A Visitor for OWL data structure objects.
OWLDifferentIndividualsAxiom An axiom asserting that a number of individuals are different.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLEntity A top level interface for entities -- the primitive kinds of things that are found in Ontologies.
OWLEntityVisitor A Visitor for OWL entities objects.
OWLEnumeration An OWLEnumeration is a collection of `OWLIndividual`s.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLEquivalentPropertiesAxiom An axiom asserting the equivalence of a number of properties.
OWLException Base class for all OWL Exceptions.
OWLFrame A frame packages up a top-level description of a class, and consists of a number of superclasses and a number of restrictions.
OWLIndividual An individual object.
OWLIndividualAxiom An abstract interface encompassing axioms about individuals.
OWLIndividualAxiomVisitor A Visitor for OWL entities objects.
OWLNamedObject A superinterface for all named things (anything that has a `URI` associated with it).
OWLNaryBooleanDescription A super interface encompassing And and Or expressions.
OWLNot The complement of a description.
OWLObject A top level interface for the kinds of things that are found in Ontologies.
OWLObjectAllRestriction A universally quantified restriction over a object property.
OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an `OWLIndividualProperty`.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLObjectPropertyInstance Represents an association between two particular individuals using an ObjectProperty.
OWLObjectQuantifiedRestriction A Restriction over an `OWLIndividualProperty` that is quantified.
OWLObjectRestriction A Restriction that particularly applies to an `OWLObjectProperty`.
OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
OWLObjectValueRestriction A restriction over an individual property with a given value.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLOntology Represents an OWL ontology.
OWLOntologyObject An OWLOntologyObject knows about the ontology from which it came.
OWLOr A disjunction of expressions.
OWLProperty A Property in an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.
OWLPropertyAxiomVisitor A Visitor for OWL entities objects.
OWLRestriction A super interface of datatype and individual restrictions.
OWLSameIndividualsAxiom An axiom asserting that a number of individuals are the same.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.
OWLSubPropertyAxiom An axiom asserting a subclass relationship between a pair of Properties.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.inference
OWLClass An OWL Class represents a named class within an ontology.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.io
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.io.abstract_syntax
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLClass An OWL Class represents a named class within an ontology.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataRange An abstract interface for data ranges.
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLDifferentIndividualsAxiom An axiom asserting that a number of individuals are different.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLObject A top level interface for the kinds of things that are found in Ontologies.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLOntology Represents an OWL ontology.
OWLRestriction A super interface of datatype and individual restrictions.
OWLSameIndividualsAxiom An axiom asserting that a number of individuals are the same.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.io.owl_rdf
OWLAnd A conjunction of expressions.
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLDataAllRestriction A universally quantified restriction over a datatype property.
OWLDataCardinalityRestriction A CardinalityRestriction that applies to an `OWLDataProperty`.
OWLDataEnumeration An OWLDataEnumeration is a collection of `OWLDataValue`s, e.g. a data oneOf.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataRange An abstract interface for data ranges.
OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
OWLDataType A place holder for concrete data types.
OWLDataValueRestriction A restriction over a datatype property with a given value.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLEnumeration An OWLEnumeration is a collection of `OWLIndividual`s.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLEquivalentPropertiesAxiom An axiom asserting the equivalence of a number of properties.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLNamedObject A superinterface for all named things (anything that has a `URI` associated with it).
OWLNot The complement of a description.
OWLObjectAllRestriction A universally quantified restriction over a object property.
OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an `OWLIndividualProperty`.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
OWLObjectValueRestriction A restriction over an individual property with a given value.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLOntology Represents an OWL ontology.
OWLOr A disjunction of expressions.
OWLProperty A Property in an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.
OWLSubPropertyAxiom An axiom asserting a subclass relationship between a pair of Properties.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.io.simple
OWLClass An OWL Class represents a named class within an ontology.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.model
OWLAnd A conjunction of expressions.
OWLAnnotationInstance OWLAnnotationInstance.java Created: Thu May 08 17:36:07 2003
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLBooleanDescription An abstract interface encompassing And, Or and Not.
OWLCardinalityRestriction An OWLCardinalityRestriction represents an assertion about the number of role fillers a property can or must have.
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLClassAxiomVisitor A Visitor for OWL entities objects.
OWLDataAllRestriction A universally quantified restriction over a datatype property.
OWLDataCardinalityRestriction A CardinalityRestriction that applies to an `OWLDataProperty`.
OWLDataEnumeration An OWLDataEnumeration is a collection of `OWLDataValue`s, e.g. a data oneOf.
OWLDataFactory OWLDataFactory provides a single access point for the creation of objects within an ontology.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataPropertyInstance Represents an association between a particular individuals and a data value.
OWLDataQuantifiedRestriction A Restriction over an `OWLDataProperty` that is quantified.
OWLDataRange An abstract interface for data ranges.
OWLDataRestriction A Restriction that particularly applies to an `OWLDataProperty`.
OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDataValueRestriction A restriction over a datatype property with a given value.
OWLDeprecatableObject A super interface representing those things that can be deprecated.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLDescriptionVisitor A Visitor for OWL data structure objects.
OWLDifferentIndividualsAxiom An axiom asserting that a number of individuals are different.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLDLOntology Sub interface of Ontology which is intended to represent a DL ontology.
OWLEntity A top level interface for entities -- the primitive kinds of things that are found in Ontologies.
OWLEntityVisitor A Visitor for OWL entities objects.
OWLEnumeration An OWLEnumeration is a collection of `OWLIndividual`s.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLEquivalentPropertiesAxiom An axiom asserting the equivalence of a number of properties.
OWLException Base class for all OWL Exceptions.
OWLFrame A frame packages up a top-level description of a class, and consists of a number of superclasses and a number of restrictions.
OWLIndividual An individual object.
OWLIndividualAxiom An abstract interface encompassing axioms about individuals.
OWLIndividualAxiomVisitor A Visitor for OWL entities objects.
OWLNamedObject A superinterface for all named things (anything that has a `URI` associated with it).
OWLNaryBooleanDescription A super interface encompassing And and Or expressions.
OWLNot The complement of a description.
OWLObject A top level interface for the kinds of things that are found in Ontologies.
OWLObjectAllRestriction A universally quantified restriction over a object property.
OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an `OWLIndividualProperty`.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLObjectPropertyInstance Represents an association between two particular individuals using an ObjectProperty.
OWLObjectQuantifiedRestriction A Restriction over an `OWLIndividualProperty` that is quantified.
OWLObjectRestriction A Restriction that particularly applies to an `OWLObjectProperty`.
OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
OWLObjectValueRestriction A restriction over an individual property with a given value.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLOntology Represents an OWL ontology.
OWLOntologyObject An OWLOntologyObject knows about the ontology from which it came.
OWLOr A disjunction of expressions.
OWLProperty A Property in an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.
OWLPropertyAxiomVisitor A Visitor for OWL entities objects.
OWLPropertyInstance Super interface for instances of property filling.
OWLRestriction A super interface of datatype and individual restrictions.
OWLSameIndividualsAxiom An axiom asserting that a number of individuals are the same.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.
OWLSubPropertyAxiom An axiom asserting a subclass relationship between a pair of Properties.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.model.change
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataRange An abstract interface for data ranges.
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDeprecatableObject A super interface representing those things that can be deprecated.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLEntity A top level interface for entities -- the primitive kinds of things that are found in Ontologies.
OWLEnumeration An OWLEnumeration is a collection of `OWLIndividual`s.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLIndividualAxiom An abstract interface encompassing axioms about individuals.
OWLObject A top level interface for the kinds of things that are found in Ontologies.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLOntology Represents an OWL ontology.
OWLProperty A Property in an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.model.helper
OWLAnd A conjunction of expressions.
OWLAnnotationInstance OWLAnnotationInstance.java Created: Thu May 08 17:36:07 2003
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLClassAxiomVisitor A Visitor for OWL entities objects.
OWLDataAllRestriction A universally quantified restriction over a datatype property.
OWLDataCardinalityRestriction A CardinalityRestriction that applies to an `OWLDataProperty`.
OWLDataEnumeration An OWLDataEnumeration is a collection of `OWLDataValue`s, e.g. a data oneOf.
OWLDataFactory OWLDataFactory provides a single access point for the creation of objects within an ontology.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataRange An abstract interface for data ranges.
OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDataValueRestriction A restriction over a datatype property with a given value.
OWLDeprecatableObject A super interface representing those things that can be deprecated.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLDescriptionVisitor A Visitor for OWL data structure objects.
OWLDifferentIndividualsAxiom An axiom asserting that a number of individuals are different.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLEnumeration An OWLEnumeration is a collection of `OWLIndividual`s.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLEquivalentPropertiesAxiom An axiom asserting the equivalence of a number of properties.
OWLException Base class for all OWL Exceptions.
OWLFrame A frame packages up a top-level description of a class, and consists of a number of superclasses and a number of restrictions.
OWLIndividual An individual object.
OWLIndividualAxiomVisitor A Visitor for OWL entities objects.
OWLNot The complement of a description.
OWLObject A top level interface for the kinds of things that are found in Ontologies.
OWLObjectAllRestriction A universally quantified restriction over a object property.
OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an `OWLIndividualProperty`.
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
OWLObjectValueRestriction A restriction over an individual property with a given value.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLOntology Represents an OWL ontology.
OWLOr A disjunction of expressions.
OWLProperty A Property in an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.
OWLPropertyAxiomVisitor A Visitor for OWL entities objects.
OWLRestriction A super interface of datatype and individual restrictions.
OWLSameIndividualsAxiom An axiom asserting that a number of individuals are the same.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.
OWLSubPropertyAxiom An axiom asserting a subclass relationship between a pair of Properties.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.util
OWLDataFactory OWLDataFactory provides a single access point for the creation of objects within an ontology.
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by org.semanticweb.owl.validation
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.inference
OWLClass An OWL Class represents a named class within an ontology.
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.inference.dl
OWLClass An OWL Class represents a named class within an ontology.
OWLDescription An abstract interface encompassing various description types -- boolean expressions, restrictions, enumerations etc.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.inference.firstorder
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.io.factplus
OWLException Base class for all OWL Exceptions.
OWLNamedObject A superinterface for all named things (anything that has a `URI` associated with it).

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.io.html
OWLAnnotationInstance OWLAnnotationInstance.java Created: Thu May 08 17:36:07 2003
OWLAnnotationProperty OWLAnnotationProperty.java Created: Thu May 08 16:47:28 2003
OWLClass An OWL Class represents a named class within an ontology.
OWLClassAxiom A super interface for various axiom types, such as subclass, equivalence or disjointness.
OWLDataProperty An `OWLProperty` whose range is some concrete data type.
OWLDataType A place holder for concrete data types.
OWLException Base class for all OWL Exceptions.
OWLIndividual An individual object.
OWLIndividualAxiom An abstract interface encompassing axioms about individuals.
OWLNamedObject A superinterface for all named things (anything that has a `URI` associated with it).
OWLObjectProperty An `OWLProperty` whose range is a class (a collection of domain objects).
OWLOntology Represents an OWL ontology.
OWLPropertyAxiom A super interface for various property axiom types, such as subproperty or equivalence.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.io.tptp
OWLDataType A place holder for concrete data types.
OWLDataValue A place holder for concrete data.
OWLDifferentIndividualsAxiom An axiom asserting that a number of individuals are different.
OWLDisjointClassesAxiom An axiom asserting the disjointness of a number of classes.
OWLEquivalentClassesAxiom An axiom asserting the equivalence of a number of classes.
OWLEquivalentPropertiesAxiom An axiom asserting the equivalence of a number of properties.
OWLException Base class for all OWL Exceptions.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLSameIndividualsAxiom An axiom asserting that a number of individuals are the same.
OWLSubClassAxiom An axiom asserting a subclass relationship between a pair of Descriptions.
OWLSubPropertyAxiom An axiom asserting a subclass relationship between a pair of Properties.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.presentation
OWLException Base class for all OWL Exceptions.
OWLOntology Represents an OWL ontology.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.util
OWLException Base class for all OWL Exceptions.

Classes in org.semanticweb.owl.model used by uk.ac.man.cs.img.owl.validation
OWLClass An OWL Class represents a named class within an ontology.
OWLDataAllRestriction A universally quantified restriction over a datatype property.
OWLDataCardinalityRestriction A CardinalityRestriction that applies to an `OWLDataProperty`.
OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
OWLDataValueRestriction A restriction over a datatype property with a given value.
OWLException Base class for all OWL Exceptions.
OWLObjectAllRestriction A universally quantified restriction over a object property.
OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an `OWLIndividualProperty`.
OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
OWLObjectValueRestriction A restriction over an individual property with a given value.
OWLObjectVisitor A Visitor for OWL data structure objects.
OWLOntology Represents an OWL ontology.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

WonderWeb