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

Packages that use OWLInverseFunctionalObjectPropertyAxiom

Package	Description
org.semanticweb.owlapi.apibinding	Binding package.
org.semanticweb.owlapi.dlsyntax.renderer	DL syntax renderer.
org.semanticweb.owlapi.functional.renderer	Functional syntax parser and renderer.
org.semanticweb.owlapi.latex.renderer	LaTeX syntax renderer.
org.semanticweb.owlapi.manchestersyntax.renderer	Manchester OWL syntax parser and renderer.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.axiomproviders	Axiom provider classes.
org.semanticweb.owlapi.owlxml.renderer	OWL/XML syntax parser and renderer.
org.semanticweb.owlapi.profiles	Profile classes.
org.semanticweb.owlapi.profiles.violations	Violation classes.
org.semanticweb.owlapi.rdf.model	RDF model package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.builders	Builders package.
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.apibinding

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

Modifier and Type	Method	Description
static OWLInverseFunctionalObjectPropertyAxiom	OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty(OWLObjectPropertyExpression property)
static OWLInverseFunctionalObjectPropertyAxiom	OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.dlsyntax.renderer

Methods in org.semanticweb.owlapi.dlsyntax.renderer with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	DLSyntaxObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.functional.renderer

Methods in org.semanticweb.owlapi.functional.renderer with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	FunctionalSyntaxObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.latex.renderer

Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	LatexObjectVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.manchestersyntax.renderer

Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	ManchesterOWLSyntaxObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.model

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

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

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

Modifier and Type	Method	Description
OWLInverseFunctionalObjectPropertyAxiom	OWLInverseFunctionalObjectPropertyAxiom.getAxiomWithoutAnnotations()

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

Modifier and Type	Method	Description
default Set<OWLInverseFunctionalObjectPropertyAxiom>	OWLAxiomIndex.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)	Gets the OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology that make the specified object property inverse functional.
default Stream<OWLInverseFunctionalObjectPropertyAxiom>	OWLAxiomIndex.inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)	Gets the OWLInverseFunctionalObjectPropertyAxiom objects 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	Description
default void	OWLLogicalAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)	visit OWLInverseFunctionalObjectPropertyAxiom type
default O	OWLLogicalAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)	visit OWLInverseFunctionalObjectPropertyAxiom type

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.model.axiomproviders

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

Modifier and Type	Method	Description
default OWLInverseFunctionalObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.owlxml.renderer

Methods in org.semanticweb.owlapi.owlxml.renderer with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	OWLXMLObjectRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.profiles

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

Modifier and Type	Method	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

Modifier	Constructor	Description
	UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom(OWLOntology ontology, OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.rdf.model

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

Modifier and Type	Method	Description
void	AbstractTranslator.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapi.util

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

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

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

Modifier and Type	Method	Description
OWLObject	AxiomSubjectProviderEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	DLExpressivityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLInverseFunctionalObjectPropertyAxiom ax)
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDesharer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDuplicator.visit(OWLInverseFunctionalObjectPropertyAxiom ax)
void	SimpleRenderer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SimpleRendererDebug.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	StructureWalker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapitools.builders

Methods in org.semanticweb.owlapitools.builders that return OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
OWLInverseFunctionalObjectPropertyAxiom	BuilderInverseFunctionalObjectProperty.buildObject()

Constructors in org.semanticweb.owlapitools.builders with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier	Constructor	Description
	BuilderInverseFunctionalObjectProperty(OWLInverseFunctionalObjectPropertyAxiom expected, OWLDataFactory df)	Builder initialized from an existing object.

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapitools.decomposition

Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
void	SemanticLocalityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SyntacticLocalityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

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

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

Modifier and Type	Class	Description
class	OWLInverseFunctionalObjectPropertyAxiomImpl

Methods in uk.ac.manchester.cs.owl.owlapi that return OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
OWLInverseFunctionalObjectPropertyAxiom	OWLInverseFunctionalObjectPropertyAxiomImpl.getAxiomWithoutAnnotations()
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
K	InitVisitorFactory.InitVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Uses of OWLInverseFunctionalObjectPropertyAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
Set<OWLInverseFunctionalObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Stream<OWLInverseFunctionalObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)