public class MinSatisfiableQuery extends SatisfiableQuery
Constructor and Description |
---|
MinSatisfiableQuery(Concept c)
Constructor for a general satisfiability query.
|
MinSatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
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.
|
public MinSatisfiableQuery(Concept c) throws FuzzyOntologyException
c
- A fuzzy concept for which the satisfiability is to be tested.FuzzyOntologyException
public MinSatisfiableQuery(Concept c, Individual a) throws FuzzyOntologyException
c
- A fuzzy concept for which the satisfiability is to be tested.a
- An individual used in the satisfiability test.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