net.sf.tweety.commons

Class Language

java.lang.Object

net.sf.tweety.commons.Language

Direct Known Subclasses:

FolLanguage, PropositionalLanguage

public abstract class Language
extends java.lang.Object

A language for a given signature specifies which formulas, knowledge bases, and queries can be constructed. Its main purpose is to provide the methods "isRepresentable" which test given formulas, queries, and knowledge bases if they are representable in this language.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private Signature	signature The signature of this language.

Constructor Summary

Constructors

Constructor and Description
Language(Signature signature) Creates a new language on the given signature.

Method Summary

Modifier and Type	Method and Description
Signature	getSignature() Returns the signature of this language.
abstract boolean	isRepresentable(BeliefBase beliefBase) Checks whether the given knowledge base is representable in this language.
abstract boolean	isRepresentable(Formula formula) Checks whether the given formula is representable in this language.

Methods inherited from class java.lang.Object

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

Field Detail

signature

private Signature signature

The signature of this language.

Constructor Detail

Language

public Language(Signature signature)

Creates a new language on the given signature.

Parameters:

signature - a signature.

Method Detail

isRepresentable

public abstract boolean isRepresentable(Formula formula)

Checks whether the given formula is representable in this language.

Parameters:

formula - the formula to be checked

Returns:

"true" if the formula is representable in this language.

isRepresentable

public abstract boolean isRepresentable(BeliefBase beliefBase)

Checks whether the given knowledge base is representable in this language.

Parameters:

beliefBase - the knowledge base to be checked

Returns:

"true" if the knowledge base is representable in this language.

getSignature

public Signature getSignature()

Returns the signature of this language.

Returns:

the signature of this language.