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

Packages that use OWLObjectPropertyCharacteristicAxiom

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

Uses of OWLObjectPropertyCharacteristicAxiom in org.coode.owlapi.manchesterowlsyntax

Methods in org.coode.owlapi.manchesterowlsyntax that return OWLObjectPropertyCharacteristicAxiom

Modifier and Type	Method and Description
protected OWLObjectPropertyCharacteristicAxiom	ManchesterOWLSyntaxEditorParser.parseObjectPropertyCharacteristic(OWLObjectPropertyExpression prop)

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)

Uses of OWLObjectPropertyCharacteristicAxiom in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLObjectPropertyCharacteristicAxiom

Modifier and Type	Class and Description
class	OWLAsymmetricObjectPropertyAxiomImpl
class	OWLFunctionalObjectPropertyAxiomImpl
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLReflexiveObjectPropertyAxiomImpl
class	OWLSymmetricObjectPropertyAxiomImpl
class	OWLTransitiveObjectPropertyAxiomImpl