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

Packages that use OWLPropertyAxiom

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

Uses of OWLPropertyAxiom in org.coode.owl.functionalparser

Methods in org.coode.owl.functionalparser that return OWLPropertyAxiom

OWLPropertyAxiom	OWLFunctionalSyntaxParser.AntiSymmetricObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.DataPropertyAxiom()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.DataPropertyDomain()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.DataPropertyRange()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.DisjointDataProperties()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.DisjointObjectProperties()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.EquivalentDataProperties()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.EquivalentObjectProperties()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.FunctionalDataProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.FunctionalObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.InverseFunctionalObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.InverseObjectProperties()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.IrreflexiveObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.ObjectPropertyAxiom()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.ObjectPropertyDomain()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.ObjectPropertyRange()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.ReflexiveObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.SubDataPropertyOf()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.SubObjectPropertyOf()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.SymmetricObjectProperty()
OWLPropertyAxiom	OWLFunctionalSyntaxParser.TransitiveObjectProperty()

Uses of OWLPropertyAxiom in org.semanticweb.owl.model

Subinterfaces of OWLPropertyAxiom 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	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	OWLDeprecatedObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 17-Nov-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	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	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	OWLNaryPropertyAxiom<P extends OWLPropertyExpression> 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	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	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

Methods in org.semanticweb.owl.model that return types with arguments of type OWLPropertyAxiom

java.util.Set<OWLPropertyAxiom>	OWLOntology.getDataPropertyAxioms() Gets all of the data property axioms in this ontology.
java.util.Set<OWLPropertyAxiom>	OWLOntology.getObjectPropertyAxioms() Gets all of the object property axioms in this ontology.

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

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

class	OWLAntiSymmetricObjectPropertyAxiomImpl 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	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	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	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	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> 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	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

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

java.util.Set<OWLPropertyAxiom>	OWLOntologyImpl.getDataPropertyAxioms()
java.util.Set<OWLPropertyAxiom>	OWLOntologyImpl.getObjectPropertyAxioms()