Class DlAxiom

java.lang.Object
org.tweetyproject.logics.dl.syntax.DlAxiom
All Implemented Interfaces:
Formula, SimpleLogicalFormula
Direct Known Subclasses:
AssertionalAxiom, EquivalenceAxiom

public abstract class DlAxiom extends Object implements SimpleLogicalFormula
The common abstract class for axioms of the description logic ALC. Belief bases in description logics consist of axioms.
Author:
Anna Gessler