fuzzydl

Class MaxSubsumesQuery

java.lang.Object

fuzzydl.Query

fuzzydl.SubsumptionQuery

fuzzydl.MaxSubsumesQuery

public class MaxSubsumesQuery
extends SubsumptionQuery

Minimize subsumption query.

Author:

Fernando Bobillo

Field Summary

Fields inherited from class fuzzydl.SubsumptionQuery

GOEDEL, KLEENE_DIENES, LUKASIEWICZ, ZADEH

Constructor Summary

Constructors

Constructor and Description
MaxSubsumesQuery(Concept c1, Concept c2, int type)

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

MaxSubsumesQuery

public MaxSubsumesQuery(Concept c1,
                        Concept c2,
                        int type)
                 throws FuzzyOntologyException

Throws:

FuzzyOntologyException

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.