net.sf.tweety.logics.dl.syntax
Classes
Axiom
DlSignature