Uses of Interface
org.semanticweb.owlapi.model.OWLLogicalAxiom

Packages that use OWLLogicalAxiom

Package	Description
org.semanticweb.owlapi.model

Uses of OWLLogicalAxiom in org.semanticweb.owlapi.model

Subinterfaces of OWLLogicalAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAsymmetricObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLClassAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006 A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
interface	OWLDataPropertyDomainAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-Mar-2009 Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDisjointUnionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLFunctionalDataPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLHasKeyAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 15-Jan-2009 Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLInverseFunctionalObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLInverseObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 29-Nov-2006 Represents an InverseObjectProperties axiom in the OWL 2 Specification.
interface	OWLIrreflexiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryClassAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNegativeDataPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyCharacteristicAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
interface	OWLObjectPropertyDomainAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyRangeAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 The base interface for property axioms.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression<?,?>,R extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLReflexiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSameIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSubPropertyChainOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-2006 Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLTransitiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	SWRLRule Author: Matthew Horridge The University Of Manchester Medical Informatics Group Date: Jan 15, 2007 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm Represent a rule.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLLogicalAxiom

Modifier and Type	Method and Description
Set<OWLLogicalAxiom>	OWLOntology.getLogicalAxioms() Gets all of the axioms in the ontology that affect the logical meaning of the ontology.