org.dllearner.core.owl
Class TerminologicalAxiom

java.lang.Object
  org.dllearner.core.owl.Axiom
      org.dllearner.core.owl.TerminologicalAxiom

All Implemented Interfaces:

Serializable, KBElement

Direct Known Subclasses:

DisjointClassesAxiom, EquivalentClassesAxiom, SubClassAxiom

public abstract class TerminologicalAxiom
extends Axiom

See Also:

Serialized Form

Constructor Summary

TerminologicalAxiom()

Method Summary

Methods inherited from class org.dllearner.core.owl.Axiom

accept, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.dllearner.core.owl.KBElement

accept, getLength, toKBSyntaxString, toManchesterSyntaxString, toString

Constructor Detail

TerminologicalAxiom

public TerminologicalAxiom()