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 Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLFunctionalObjectPropertyAxiom Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseFunctionalObjectPropertyAxiom Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLIrreflexiveObjectPropertyAxiom Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLReflexiveObjectPropertyAxiom Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSymmetricObjectPropertyAxiom Represents SymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLTransitiveObjectPropertyAxiom 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)