Package net.sf.tweety.logics.dl.syntax
Class DlAxiom
- java.lang.Object
-
- net.sf.tweety.logics.dl.syntax.DlAxiom
-
- All Implemented Interfaces:
Formula
,SimpleLogicalFormula
- Direct Known Subclasses:
AssertionalAxiom
,EquivalenceAxiom
public abstract class DlAxiom extends java.lang.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
-
-
Constructor Summary
Constructors Constructor Description DlAxiom()
-
Method Summary
Modifier and Type Method Description abstract DlAxiom
clone()
Creates a deep copy of this formulajava.util.Set<? extends Atom>
getAtoms()
Processes the set of all atoms which appear in this formulajava.lang.Class<? extends Predicate>
getPredicateCls()
abstract java.util.Set<Predicate>
getPredicates()
Processes the set of all predicates which appear in this formulaabstract DlSignature
getSignature()
Returns the signature of the language of this formula.boolean
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
-
-
-
-
Method Detail
-
getSignature
public abstract DlSignature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
getAtoms
public java.util.Set<? extends Atom> getAtoms()
Description copied from interface:SimpleLogicalFormula
Processes the set of all atoms which appear in this formula- Specified by:
getAtoms
in interfaceSimpleLogicalFormula
- Returns:
- The set of all atoms
-
getPredicates
public abstract java.util.Set<Predicate> getPredicates()
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Returns:
- all predicates that appear in this formula
-
getPredicateCls
public java.lang.Class<? extends Predicate> getPredicateCls()
- Specified by:
getPredicateCls
in interfaceSimpleLogicalFormula
- Returns:
- The class description of the predicate used by this formula.
-
isLiteral
public boolean isLiteral()
- Specified by:
isLiteral
in interfaceSimpleLogicalFormula
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
clone
public abstract DlAxiom clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Returns:
- the cloned formula
-
-