Package net.sf.tweety.logics.dl.syntax
Class AssertionalAxiom
- java.lang.Object
-
- net.sf.tweety.logics.dl.syntax.DlAxiom
-
- net.sf.tweety.logics.dl.syntax.AssertionalAxiom
-
- All Implemented Interfaces:
Formula
,SimpleLogicalFormula
- Direct Known Subclasses:
ConceptAssertion
,RoleAssertion
public abstract class AssertionalAxiom extends DlAxiom
Abstract base class for assertional axioms (concept assertions and role assertions).- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description AssertionalAxiom()
-
Method Summary
Modifier and Type Method Description abstract boolean
isAtomic()
-
Methods inherited from class net.sf.tweety.logics.dl.syntax.DlAxiom
clone, getAtoms, getPredicateCls, getPredicates, getSignature, isLiteral
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
equals, hashCode
-
-