net.sf.tweety.logics.dl.syntax

Class Axiom

java.lang.Object

net.sf.tweety.logics.dl.syntax.Axiom

All Implemented Interfaces:

Formula

public abstract class Axiom
extends java.lang.Object
implements Formula

This abstract class provides the base for terminological and assertional axioms

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
Axiom()

Method Summary

Modifier and Type	Method and Description
Signature	getSignature() Returns the signature of the language of this formula.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Axiom

public Axiom()

Method Detail

getSignature

public Signature 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.