public class KbSatisfiableQuery extends Query
Constructor and Description |
---|
KbSatisfiableQuery()
Constructor for a general satisfiability query.
|
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.
|
public KbSatisfiableQuery() throws FuzzyOntologyException
c
- A fuzzy concept for which the satisfiability is to be tested.FuzzyOntologyException
public void preprocess(KnowledgeBase kb) throws FuzzyOntologyException
Query
preprocess
in class Query
kb
- A fuzzy KB.FuzzyOntologyException
public Solution solve(KnowledgeBase kb) throws FuzzyOntologyException
Query
solve
in class Query
kb
- A fuzzy KB.FuzzyOntologyException
public boolean isConsistentKB(KnowledgeBase kb) throws FuzzyOntologyException
FuzzyOntologyException