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 formula
java.util.Set<? extends Atom>	getAtoms()	Processes the set of all atoms which appear in this formula
java.lang.Class<? extends Predicate>	getPredicateCls()
abstract java.util.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, 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()

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

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

Returns:

all predicates that appear in this formula

getPredicateCls

public java.lang.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

Overrides:

clone in class java.lang.Object

Returns:

the cloned formula