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