fuzzydl
Class MinSatisfiableQuery

java.lang.Object
  fuzzydl.Query
      fuzzydl.SatisfiableQuery
          fuzzydl.MinSatisfiableQuery

public class MinSatisfiableQuery
extends SatisfiableQuery

Minimal satisfiability degree of a fuzzy concept.

Field Summary

Fields inherited from class fuzzydl.SatisfiableQuery

conc, ind, objExpr

Constructor Summary

MinSatisfiableQuery(Concept c)
Constructor for a general satisfiability query.

MinSatisfiableQuery(Concept c, Individual a)
Constructor for a satisfiability query involving a specific individual.

Method Summary

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()

Methods inherited from class java.lang.Object

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

Constructor Detail

MinSatisfiableQuery

public MinSatisfiableQuery(Concept c)

Constructor for a general satisfiability query.

Parameters:

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

MinSatisfiableQuery

public MinSatisfiableQuery(Concept c,
                           Individual a)

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.

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

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object