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

Packages that use OWLTransitiveObjectPropertyAxiom

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.krss2.renderer	Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
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.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 OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.apibinding

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

Modifier and Type	Method	Description
static OWLTransitiveObjectPropertyAxiom	OWLFunctionalSyntaxFactory.TransitiveObjectProperty(OWLObjectPropertyExpression property)
static OWLTransitiveObjectPropertyAxiom	OWLFunctionalSyntaxFactory.TransitiveObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)

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

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

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

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

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.krss2.renderer

Methods in org.semanticweb.owlapi.krss2.renderer with parameters of type OWLTransitiveObjectPropertyAxiom

Modifier and Type	Method	Description
void	KRSSObjectRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom)

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

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

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

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

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.model

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

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

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

Modifier and Type	Method	Description
OWLTransitiveObjectPropertyAxiom	OWLTransitiveObjectPropertyAxiom.getAxiomWithoutAnnotations()

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

Modifier and Type	Method	Description
default Set<OWLTransitiveObjectPropertyAxiom>	OWLAxiomIndex.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)	Gets the OWLTransitiveObjectPropertyAxiom objects contained in this ontology that make the specified object property transitive.
default Stream<OWLTransitiveObjectPropertyAxiom>	OWLAxiomIndex.transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)	Gets the OWLTransitiveObjectPropertyAxiom objects 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	Description
default void	OWLLogicalAxiomVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom)	visit OWLTransitiveObjectPropertyAxiom type
default O	OWLLogicalAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)	visit OWLTransitiveObjectPropertyAxiom type

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.model.axiomproviders

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

Modifier and Type	Method	Description
default OWLTransitiveObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

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

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.profiles

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

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

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

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.util

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

Modifier and Type	Method	Description
OWLTransitiveObjectPropertyAxiom	OWLObjectDesharer.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLTransitiveObjectPropertyAxiom	OWLObjectDuplicator.visit(OWLTransitiveObjectPropertyAxiom ax)

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapitools.builders

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

Modifier and Type	Method	Description
OWLTransitiveObjectPropertyAxiom	BuilderTransitiveObjectProperty.buildObject()

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

Modifier	Constructor	Description
	BuilderTransitiveObjectProperty(OWLTransitiveObjectPropertyAxiom expected, OWLDataFactory df)	Builder initialized from an existing object.

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapitools.decomposition

Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLTransitiveObjectPropertyAxiom

Modifier and Type	Method	Description
void	SemanticLocalityChecker.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	SyntacticLocalityChecker.visit(OWLTransitiveObjectPropertyAxiom axiom)

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

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

Modifier and Type	Class	Description
class	OWLTransitiveObjectPropertyAxiomImpl

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

Modifier and Type	Method	Description
OWLTransitiveObjectPropertyAxiom	OWLTransitiveObjectPropertyAxiomImpl.getAxiomWithoutAnnotations()
OWLTransitiveObjectPropertyAxiom	OWLDataFactoryImpl.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

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

Modifier and Type	Method	Description
K	InitVisitorFactory.InitVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom)

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

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

Modifier and Type	Method	Description
Set<OWLTransitiveObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
Stream<OWLTransitiveObjectPropertyAxiom>	ConcurrentOWLOntologyImpl.transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)