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 OWLDataValues, 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 OWLIndividuals.
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 OWLDataValues, 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 OWLIndividuals.
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 OWLDataValues, 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 OWLIndividuals.
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 OWLIndividuals.
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 OWLDataValues, 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 OWLIndividuals.
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.
 



WonderWeb