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

Packages that use OWLObjectPropertyCharacteristicAxiom

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.util

Uses of OWLObjectPropertyCharacteristicAxiom in org.semanticweb.owlapi.model

Subinterfaces of OWLObjectPropertyCharacteristicAxiom 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	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	OWLIrreflexiveObjectPropertyAxiom 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 Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
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.

Uses of OWLObjectPropertyCharacteristicAxiom in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util with parameters of type OWLObjectPropertyCharacteristicAxiom

Modifier and Type	Method and Description
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, Set<OWLObjectPropertyCharacteristicAxiom> result)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLObjectPropertyCharacteristicAxiom

Modifier and Type	Method and Description
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result)
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, Set<OWLObjectPropertyCharacteristicAxiom> result)