Class DlAxiom

java.lang.Object

org.tweetyproject.logics.dl.syntax.DlAxiom

All Implemented Interfaces:

Formula, SimpleLogicalFormula

Direct Known Subclasses:

AssertionalAxiom, EquivalenceAxiom

public abstract class DlAxiom
extends 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()	Default

Method Summary

Modifier and Type	Method	Description
abstract DlAxiom	clone()	Creates a deep copy of this formula
Set<? extends Atom>	getAtoms()	Processes the set of all atoms which appear in this formula
Class<? extends Predicate>	getPredicateCls()
abstract Set<Predicate>	getPredicates()	Processes the set of all predicates which appear in this formula
abstract 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 org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

equals, hashCode

Constructor Details

DlAxiom

public DlAxiom()

Default

Method Details

getSignature

public abstract DlSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

getAtoms

public Set<? extends Atom> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Returns:

The set of all atoms

getPredicates

public abstract Set<Predicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Returns:

all predicates that appear in this formula

getPredicateCls

public Class<? extends Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface SimpleLogicalFormula

Returns:

The class description of the predicate used by this formula.

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface SimpleLogicalFormula

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 interface SimpleLogicalFormula

Returns:

the cloned formula