DlAxiom (Tweety (DL) 1.17 API)

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

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Direct Known Subclasses:

AssertionalAxiom, EquivalenceAxiom
```
public abstract class DlAxiom
extends Object
implements net.sf.tweety.logics.commons.syntax.interfaces.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()`
`Set<? extends net.sf.tweety.logics.commons.syntax.interfaces.Atom>`	`getAtoms()`
`Class<? extends net.sf.tweety.logics.commons.syntax.Predicate>`	`getPredicateCls()`
`abstract Set<net.sf.tweety.logics.commons.syntax.Predicate>`	`getPredicates()`
`abstract DlSignature`	`getSignature()`
`boolean`	`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
  - DlAxiom
```
public DlAxiom()
```
- Method Detail
  - getSignature
```
public abstract DlSignature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
  - getAtoms
```
public Set<? extends net.sf.tweety.logics.commons.syntax.interfaces.Atom> getAtoms()
```
    Specified by:
    
    getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
  - getPredicates
```
public abstract Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()
```
    Specified by:
    
    getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
  - getPredicateCls
```
public Class<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicateCls()
```
    Specified by:
    
    getPredicateCls in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
  - isLiteral
```
public boolean isLiteral()
```
    Specified by:
    
    isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
  - clone
```
public abstract DlAxiom clone()
```
    Specified by:
    
    clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Overrides:
    
    clone in class Object