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

Packages that use OWLInverseFunctionalObjectPropertyAxiom

Package	Description
org.obolibrary.macro
org.semanticweb.owlapi.apibinding	Binding package
org.semanticweb.owlapi.dlsyntax.renderer
org.semanticweb.owlapi.functional.renderer
org.semanticweb.owlapi.latex.renderer	LaTeX syntax renderer
org.semanticweb.owlapi.manchestersyntax.renderer
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.owlxml.renderer
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.rdf.model	RDF model package
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package
org.semanticweb.owlapi.util	Utilities package
org.semanticweb.owlapitools.builders
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package
uk.ac.manchester.cs.owl.owlapi.concurrent

Uses of OWLInverseFunctionalObjectPropertyAxiom in org.obolibrary.macro

Methods in org.obolibrary.macro with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

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, Set<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 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()
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	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	Description
void	OWLLogicalAxiomVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)	visit OWLInverseFunctionalObjectPropertyAxiom type
O	OWLLogicalAxiomVisitorEx.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)	visit OWLInverseFunctionalObjectPropertyAxiom type

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

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

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.reasoner.impl

Methods in org.semanticweb.owlapi.reasoner.impl with parameters of type OWLInverseFunctionalObjectPropertyAxiom

Modifier and Type	Method	Description
OWLClassExpression	SatisfiabilityReducer.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)

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

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

Constructor	Description
BuilderInverseFunctionalObjectProperty(OWLInverseFunctionalObjectPropertyAxiom expected, OWLDataFactory df)	builder initialized from an existing object

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.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLInverseFunctionalObjectPropertyAxiom	OWLInverseFunctionalObjectPropertyAxiomImpl.getAxiomWithoutAnnotations()
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom	OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method	Description
Set<OWLInverseFunctionalObjectPropertyAxiom>	OWLAxiomIndexImpl.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)

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

Modifier and Type	Method	Description
void	AbstractEntityRegistrationManager.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
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)