fuzzydl

Class MaxSatisfiableQuery

java.lang.Object

fuzzydl.Query

fuzzydl.SatisfiableQuery

fuzzydl.MaxSatisfiableQuery

public class MaxSatisfiableQuery
extends SatisfiableQuery

Maximal satisfiability degree of a fuzzy concept.

Author:

Fernando Bobillo

Constructor Summary

Constructors

Constructor and Description
MaxSatisfiableQuery(Concept c) Constructor for a general satisfiability query.
MaxSatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.

Method Summary

Modifier and Type	Method and Description
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

MaxSatisfiableQuery

public MaxSatisfiableQuery(Concept c)
                    throws FuzzyOntologyException

Constructor for a general satisfiability query.

Parameters:

c - A fuzzy concept for which the satisfiability is to be tested.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

MaxSatisfiableQuery

public MaxSatisfiableQuery(Concept c,
                           Individual a)
                    throws FuzzyOntologyException

Constructor for a satisfiability query involving a specific individual.

Parameters:

c - A fuzzy concept for which the satisfiability is to be tested.

a - An individual used in the satisfiability test.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

Method Detail

preprocess

public void preprocess(KnowledgeBase kb)
                throws FuzzyOntologyException,
                       InconsistentOntologyException

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.

InconsistentOntologyException - Inconsistent ontology.

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.

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.