AssertionalAxiom (Tweety (DL) 1.15 API)

java.lang.Object
- net.sf.tweety.logics.dl.syntax.DlAxiom
- - net.sf.tweety.logics.dl.syntax.AssertionalAxiom

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.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, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    equals, hashCode

- Constructor Detail
  - AssertionalAxiom
```
public AssertionalAxiom()
```
- Method Detail
  - isAtomic
```
public abstract boolean isAtomic()
```
    Returns:
    
    "true" if the concept of the assertion is atomic, "false" if it is a complex concept