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

Packages that use OWLInverseFunctionalObjectPropertyAxiom

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

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.model

Fields in org.semanticweb.owlapi.model with type parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Field and Description
static AxiomType<OWLInverseFunctionalObjectPropertyAxiom>	AxiomType.INVERSE_FUNCTIONAL_OBJECT_PROPERTY InverseFunctionalObjectProperty

Methods in org.semanticweb.owlapi.model that return OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method and Description
OWLInverseFunctionalObjectPropertyAxiom	OWLInverseFunctionalObjectPropertyAxiom.getAxiomWithoutAnnotations()
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method and Description
Set<OWLInverseFunctionalObjectPropertyAxiom>	OWLOntology.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.

Methods in org.semanticweb.owlapi.model with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method and Description
O	OWLLogicalAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
void	OWLLogicalAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
O	OWLAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
void	OWLAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method and Description
Object	OWL2ELProfile.OWL2ELProfileObjectVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Constructors in org.semanticweb.owlapi.profiles with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Constructor and Description
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom(OWLOntology ontology, OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
void	StructureWalker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SimpleRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectDuplicator.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLEntityCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	HashCode.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	DLExpressivityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	AxiomTypeProvider.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)