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

Packages that use OWLObjectPropertyAxiom

org.coode.manchesterowlsyntax
org.semanticweb.owl.model
org.semanticweb.owl.util
uk.ac.manchester.cs.owl

Uses of OWLObjectPropertyAxiom in org.coode.manchesterowlsyntax

Methods in org.coode.manchesterowlsyntax that return OWLObjectPropertyAxiom

OWLObjectPropertyAxiom

ManchesterOWLSyntaxEditorParser.parseObjectPropertyAxiom()

Uses of OWLObjectPropertyAxiom in org.semanticweb.owl.model

Subinterfaces of OWLObjectPropertyAxiom 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	OWLDeprecatedObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 17-Nov-2006
interface	OWLDisjointObjectPropertiesAxiom 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	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	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	OWLReflexiveObjectPropertyAxiom 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

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

java.util.Set<OWLObjectPropertyAxiom>

OWLOntology.getAxioms(OWLObjectPropertyExpression prop) Gets the axioms that form the definition/description of an object property.

Uses of OWLObjectPropertyAxiom in org.semanticweb.owl.util

Classes in org.semanticweb.owl.util with type parameters of type OWLObjectPropertyAxiom

class

InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007

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

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

class	OWLAntiSymmetricObjectPropertyAxiomImpl 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	OWLEquivalentObjectPropertiesAxiomImpl 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	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	OWLReflexiveObjectPropertyAxiomImpl 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

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

java.util.Set<OWLObjectPropertyAxiom>

OWLOntologyImpl.getAxioms(OWLObjectPropertyExpression prop)