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

Packages that use OWLInverseFunctionalObjectPropertyAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.util	Utilities package

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>	OWLAxiomIndex.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

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
void	ProfileVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.profiles.violations

Constructors in org.semanticweb.owlapi.profiles.violations 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 that return OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method and Description
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDesharer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

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

Modifier and Type	Method and Description
void	OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	DeprecatedOWLEntityCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) Deprecated.
Boolean	HornAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SimpleRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectDuplicator.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SimpleRendererDebug.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDesharer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	AxiomSubjectProvider.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	DLExpressivityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	HashCode.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Collection<OWLEntity>	OWLEntityCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	StructureWalker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)