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
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 and 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 and 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 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()
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.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.reasoner.impl

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

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

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)
void	AbstractEntityRegistrationManager.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)