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

Packages that use TerminologicalAxiom

org.dllearner.core.owl

Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.

Uses of TerminologicalAxiom in org.dllearner.core.owl

Subclasses of TerminologicalAxiom in org.dllearner.core.owl

class	DisjointClassesAxiom
class	EquivalentClassesAxiom
class	SubClassAxiom

Methods in org.dllearner.core.owl that return types with arguments of type TerminologicalAxiom

Set<TerminologicalAxiom>

KB.getTbox()

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

void	KB.addTBoxAxiom(TerminologicalAxiom axiom)