fuzzydl

Class KbSatisfiableQuery

java.lang.Object

fuzzydl.Query

fuzzydl.KbSatisfiableQuery

public class KbSatisfiableQuery
extends Query

Knowledge base satisfiability degree

Author:

Fernando Bobillo

Constructor Summary

Constructors

Constructor and Description
KbSatisfiableQuery()

Method Summary

Modifier and Type	Method and Description
boolean	isConsistentKB(KnowledgeBase kb)
void	preprocess(KnowledgeBase kb) Performs some preprocessing steps of the query over a fuzzy KB.
Solution	solve(KnowledgeBase kb) Solves the query over a fuzzy KB.
java.lang.String	toString() Gets the name of the query.

Methods inherited from class fuzzydl.Query

getTotalTime, setInitialTime, setTotalTime

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

KbSatisfiableQuery

public KbSatisfiableQuery()
                   throws FuzzyOntologyException

Throws:

FuzzyOntologyException

Method Detail

preprocess

public void preprocess(KnowledgeBase kb)
                throws FuzzyOntologyException

Description copied from class: Query

Performs some preprocessing steps of the query over a fuzzy KB.

Specified by:

preprocess in class Query

Parameters:

kb - A fuzzy KB.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

solve

public Solution solve(KnowledgeBase kb)
               throws FuzzyOntologyException

Description copied from class: Query

Solves the query over a fuzzy KB.

Specified by:

solve in class Query

Parameters:

kb - A fuzzy KB.

Returns:

An optimal solution to the query.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

isConsistentKB

public boolean isConsistentKB(KnowledgeBase kb)
                       throws FuzzyOntologyException,
                              InconsistentOntologyException

Throws:

FuzzyOntologyException

InconsistentOntologyException

toString

public java.lang.String toString()

Description copied from class: Query

Gets the name of the query.

Specified by:

toString in class Query

Returns:

Name of the query.