org.dllearner.core.owl
Class Axiom

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

All Implemented Interfaces:

Serializable, KBElement

Direct Known Subclasses:

AssertionalAxiom, PropertyAxiom, TerminologicalAxiom

public abstract class Axiom
extends Object
implements KBElement

See Also:

Serialized Form

Constructor Summary

Axiom()

Method Summary

abstract void	accept(AxiomVisitor visitor)
String	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

Axiom

public Axiom()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

accept

public abstract void accept(AxiomVisitor visitor)