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

Packages that use OWLTransitiveObjectPropertyAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.axiomproviders	Axiom provider classes.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.builders	Builders package.

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()

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

Modifier and Type	Method and Description
default Set<OWLTransitiveObjectPropertyAxiom>	OWLAxiomIndex.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Deprecated. use the stream method
default Stream<OWLTransitiveObjectPropertyAxiom>	OWLAxiomIndex.transitiveObjectPropertyAxioms(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
default O	OWLLogicalAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
default void	OWLLogicalAxiomVisitor.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 and Description
default OWLTransitiveObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom	PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.util

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

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

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

Modifier and Type	Method and Description
OWLObject	AxiomSubjectProviderEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
Boolean	HornAxiomVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLTransitiveObjectPropertyAxiom ax)
O	DelegatingObjectVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	SimpleRenderer.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLTransitiveObjectPropertyAxiom	OWLObjectDuplicator.visit(OWLTransitiveObjectPropertyAxiom ax)
OWLTransitiveObjectPropertyAxiom	OWLObjectDesharer.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	DLExpressivityChecker.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 and Description
OWLTransitiveObjectPropertyAxiom	BuilderTransitiveObjectProperty.buildObject()

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

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