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

Packages that use OWLLogicalAxiom

org.semanticweb.owl.model
uk.ac.manchester.cs.owl

Uses of OWLLogicalAxiom in org.semanticweb.owl.model

Subinterfaces of OWLLogicalAxiom in org.semanticweb.owl.model

interface	OWLAntiSymmetricObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 States that an object property is asymmetric.
interface	OWLClassAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
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 an assertion about a relationship between and individual and a data value.
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 an axiom which specified the domain of a data property.
interface	OWLDataPropertyRangeAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an axiom which specifies the range of a data property.
interface	OWLDataSubPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDeprecatedClassAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 17-Nov-2006
interface	OWLDeprecatedDataPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 17-Nov-2006
interface	OWLDeprecatedObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 17-Nov-2006
interface	OWLDifferentIndividualsAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDisjointClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDisjointDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
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
interface	OWLEquivalentClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLEquivalentDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
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
interface	OWLFunctionalObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
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 a statement that two properties are the inverse of each other.
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
interface	OWLNegativeObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyChainSubPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-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	OWLObjectSubPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 An individual relationship axiom describes a relationship of the form Property(Subject, Object) i.e.
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
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLReflexiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSameIndividualsAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSubClassAxiom 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	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
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.owl.model that return types with arguments of type OWLLogicalAxiom

java.util.Set<OWLLogicalAxiom>

OWLOntology.getLogicalAxioms() Gets all of the axioms in the ontology that affect the logical meaning of the ontology.

Uses of OWLLogicalAxiom in uk.ac.manchester.cs.owl

Classes in uk.ac.manchester.cs.owl that implement OWLLogicalAxiom

class	OWLAntiSymmetricObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLClassAssertionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLClassAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 05-Dec-2006
class	OWLDataPropertyAssertionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataPropertyCharacteristicAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataPropertyDomainAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataPropertyRangeAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataSubPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDifferentIndividualsAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDisjointClassesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDisjointDataPropertiesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDisjointObjectPropertiesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDisjointUnionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLEquivalentClassesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLEquivalentDataPropertiesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLEquivalentObjectPropertiesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLFunctionalDataPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLFunctionalObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLIndividualAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 05-Dec-2006
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLInverseFunctionalObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLInverseObjectPropertiesAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 29-Nov-2006
class	OWLIrreflexiveObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLLogicalAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 05-Dec-2006
class	OWLNaryClassAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLNaryIndividualAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLNegativeDataPropertyAssertionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLNegativeObjectPropertyAssertionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectPropertyAssertionAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectPropertyChainSubPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-2006
class	OWLObjectPropertyCharacteristicAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectPropertyDomainAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectPropertyRangeAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectSubPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 05-Dec-2006
class	OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLReflexiveObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLSameIndividualsAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLSubClassAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLSymmetricObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLTransitiveObjectPropertyAxiomImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	SWRLRuleImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 15-Jan-2007

Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLLogicalAxiom

java.util.Set<OWLLogicalAxiom>

OWLOntologyImpl.getLogicalAxioms()