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

Packages that use OWLIrreflexiveObjectPropertyAxiom

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 OWLIrreflexiveObjectPropertyAxiom in org.obolibrary.macro

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

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

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapi.apibinding

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

Modifier and Type	Method and Description
static OWLIrreflexiveObjectPropertyAxiom	OWLFunctionalSyntaxFactory.IrreflexiveObjectProperty(OWLObjectPropertyExpression property)
static OWLIrreflexiveObjectPropertyAxiom	OWLFunctionalSyntaxFactory.IrreflexiveObjectProperty(OWLObjectPropertyExpression property, Set<OWLAnnotation> a)

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

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

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

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

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

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

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

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

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

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

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

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

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLIrreflexiveObjectPropertyAxiom>	AxiomType.IRREFLEXIVE_OBJECT_PROPERTY IrreflexiveObjectProperty

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

Modifier and Type	Method and Description
OWLIrreflexiveObjectPropertyAxiom	OWLIrreflexiveObjectPropertyAxiom.getAxiomWithoutAnnotations()
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactory.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactory.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLIrreflexiveObjectPropertyAxiom>	OWLAxiomIndex.getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.

Methods in org.semanticweb.owlapi.model with parameters of type OWLIrreflexiveObjectPropertyAxiom

Modifier and Type	Method and Description
O	OWLLogicalAxiomVisitorEx.visit(OWLIrreflexiveObjectPropertyAxiom axiom) visit OWLIrreflexiveObjectPropertyAxiom type
void	OWLLogicalAxiomVisitor.visit(OWLIrreflexiveObjectPropertyAxiom axiom) visit OWLIrreflexiveObjectPropertyAxiom type

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

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

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

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapi.profiles

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

Modifier and Type	Method and Description
void	ProfileVisitor.visit(OWLIrreflexiveObjectPropertyAxiom axiom)

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

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

Constructor and Description
UseOfNonSimplePropertyInIrreflexivePropertyAxiom(OWLOntology ontology, OWLIrreflexiveObjectPropertyAxiom axiom)

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

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

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

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapi.reasoner.impl

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

Modifier and Type	Method and Description
OWLClassExpression	SatisfiabilityReducer.visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapi.util

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

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

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

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

Uses of OWLIrreflexiveObjectPropertyAxiom in org.semanticweb.owlapitools.builders

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

Modifier and Type	Method and Description
OWLIrreflexiveObjectPropertyAxiom	BuilderIrreflexiveObjectProperty.buildObject()

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

Constructor and Description
BuilderIrreflexiveObjectProperty(OWLIrreflexiveObjectPropertyAxiom expected, OWLDataFactory df) builder initialized from an existing object

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

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

Modifier and Type	Class and Description
class	OWLIrreflexiveObjectPropertyAxiomImpl

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

Modifier and Type	Method and Description
OWLIrreflexiveObjectPropertyAxiom	OWLIrreflexiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLIrreflexiveObjectPropertyAxiom	OWLIrreflexiveObjectPropertyAxiomImpl.getAxiomWithoutAnnotations()
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactoryImpl.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom	OWLDataFactoryImpl.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Set<? extends OWLAnnotation> annotations)

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

Modifier and Type	Method and Description
Set<OWLIrreflexiveObjectPropertyAxiom>	OWLAxiomIndexImpl.getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)

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

Modifier and Type	Method and Description
K	InitVisitorFactory.InitVisitor.visit(OWLIrreflexiveObjectPropertyAxiom axiom)
void	AbstractEntityRegistrationManager.visit(OWLIrreflexiveObjectPropertyAxiom axiom)

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

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

Modifier and Type	Method and Description
Set<OWLIrreflexiveObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)