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

Packages that use OWLTransitiveObjectPropertyAxiom

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.util

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.model

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

Modifier and Type	Field and Description
static AxiomType<OWLTransitiveObjectPropertyAxiom>	AxiomType.TRANSITIVE_OBJECT_PROPERTY TransitiveObjectProperty

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

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

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

Modifier and Type	Method and Description
Set<OWLTransitiveObjectPropertyAxiom>	OWLOntology.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.

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

Modifier and Type	Method and Description
O	OWLLogicalAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
void	OWLLogicalAxiomVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
O	OWLAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
void	OWLAxiomVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
void	StructureWalker.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	SimpleRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom)
O	OWLObjectVisitorExAdapter.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLObjectVisitorAdapter.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLObjectTypeIndexProvider.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLObjectDuplicator.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLObjectComponentCollector.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLEntityCollector.visit(OWLTransitiveObjectPropertyAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLTransitiveObjectPropertyAxiom axiom)
O	OWLAxiomVisitorExAdapter.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLAxiomVisitorAdapter.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLAxiomTypeProcessor.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLTransitiveObjectPropertyAxiom axiom)
Integer	MaximumModalDepthFinder.visit(OWLTransitiveObjectPropertyAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	HashCode.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	DLExpressivityChecker.visit(OWLTransitiveObjectPropertyAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	AxiomTypeProvider.visit(OWLTransitiveObjectPropertyAxiom axiom) Deprecated.
void	AxiomSubjectProvider.visit(OWLTransitiveObjectPropertyAxiom axiom)