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 and 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 and 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 and 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 and 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 and 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 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()

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

Modifier and Type	Method and Description
default Set<OWLInverseFunctionalObjectPropertyAxiom>	OWLAxiomIndex.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Deprecated. use the stream method
default Stream<OWLInverseFunctionalObjectPropertyAxiom>	OWLAxiomIndex.inverseFunctionalObjectPropertyAxioms(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
default O	OWLLogicalAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
default void	OWLLogicalAxiomVisitor.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 and 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 and 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 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.rdf.model

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

Modifier and Type	Method and 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 and Description
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDuplicator.visit(OWLInverseFunctionalObjectPropertyAxiom ax)
OWLInverseFunctionalObjectPropertyAxiom	OWLObjectDesharer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

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

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

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.semanticweb.owlapitools.builders

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

Modifier and Type	Method and Description
OWLInverseFunctionalObjectPropertyAxiom	BuilderInverseFunctionalObjectProperty.buildObject()

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

Constructor and 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 and Description
void	SyntacticLocalityChecker.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
void	SemanticLocalityChecker.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 and Description
class	OWLInverseFunctionalObjectPropertyAxiomImpl

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

Modifier and Type	Method and 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 and 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 and Description
Set<OWLInverseFunctionalObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression) Deprecated.
Stream<OWLInverseFunctionalObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)