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

Packages that use OWLTransitiveObjectPropertyAxiom

Package	Description
de.uulm.ecs.ai.owlapi.krssrenderer
org.coode.owlapi.functionalrenderer
org.coode.owlapi.latex
org.coode.owlapi.owlxml.renderer
org.coode.owlapi.rdf.model
org.semanticweb.owlapi.apibinding
org.semanticweb.owlapi.debugging
org.semanticweb.owlapi.model
org.semanticweb.owlapi.reasoner.impl
org.semanticweb.owlapi.util
uk.ac.manchester.cs.owl.owlapi
uk.ac.manchester.cs.owl.owlapi.mansyntaxrenderer
uk.ac.manchester.cs.owlapi.dlsyntax
uk.ac.manchester.owl.owlapi.tutorialowled2011

Uses of OWLTransitiveObjectPropertyAxiom in de.uulm.ecs.ai.owlapi.krssrenderer

Methods in de.uulm.ecs.ai.owlapi.krssrenderer with parameters of type OWLTransitiveObjectPropertyAxiom

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

Uses of OWLTransitiveObjectPropertyAxiom in org.coode.owlapi.functionalrenderer

Methods in org.coode.owlapi.functionalrenderer with parameters of type OWLTransitiveObjectPropertyAxiom

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

Uses of OWLTransitiveObjectPropertyAxiom in org.coode.owlapi.latex

Methods in org.coode.owlapi.latex with parameters of type OWLTransitiveObjectPropertyAxiom

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

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

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

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

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

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.apibinding

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

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

Uses of OWLTransitiveObjectPropertyAxiom in org.semanticweb.owlapi.debugging

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

Modifier and Type	Method and Description
void	DebuggerClassExpressionGenerator.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 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.reasoner.impl

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

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

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	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)
O	DelegatingObjectVisitorEx.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	DLExpressivityChecker.visit(OWLTransitiveObjectPropertyAxiom axiom)
void	AxiomTypeProvider.visit(OWLTransitiveObjectPropertyAxiom axiom) Deprecated.
void	AxiomSubjectProvider.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 and Description
class	OWLTransitiveObjectPropertyAxiomImpl

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

Modifier and Type	Field and Description
protected MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom>	AbstractInternalsImpl.transitivePropertyAxiomsByProperty

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

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

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

Modifier and Type	Method and Description
Set<OWLTransitiveObjectPropertyAxiom>	OWLOntologyImpl.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Internals.Pointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom>	Internals.getTransitivePropertyAxiomsByProperty()
MapPointer<OWLObjectPropertyExpression,OWLTransitiveObjectPropertyAxiom>	AbstractInternalsImpl.getTransitivePropertyAxiomsByProperty()

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

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

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

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

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

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

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

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

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

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

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