Uses of Class
org.dllearner.core.owl.TransitiveObjectPropertyAxiom

Packages that use TransitiveObjectPropertyAxiom

org.dllearner.core.owl	Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.
org.dllearner.parser	DL-Learner parsers.
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Uses of TransitiveObjectPropertyAxiom in org.dllearner.core.owl

Methods in org.dllearner.core.owl with parameters of type TransitiveObjectPropertyAxiom

void	PropertyAxiomVisitor.visit(TransitiveObjectPropertyAxiom axiom)

Uses of TransitiveObjectPropertyAxiom in org.dllearner.parser

Methods in org.dllearner.parser that return TransitiveObjectPropertyAxiom

TransitiveObjectPropertyAxiom

KBParser.Transitive()

Uses of TransitiveObjectPropertyAxiom in org.dllearner.utilities.owl

Methods in org.dllearner.utilities.owl with parameters of type TransitiveObjectPropertyAxiom

void	OWLAPIAxiomConvertVisitor.visit(TransitiveObjectPropertyAxiom axiom)