fuzzydl

## Class SatisfiableQuery

- java.lang.Object
- - fuzzydl.Query
  - - fuzzydl.SatisfiableQuery

- Direct Known Subclasses:
    MaxSatisfiableQuery, MinSatisfiableQuery

      public abstract class SatisfiableQuery
      extends Query

  Fuzzy concept satisfiability query.
  Author:
    Fernando Bobillo

- - ### Constructor Summary

    Constructors
    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.

  - ### Method Summary

    - ### Methods inherited from class fuzzydl.Query

      `getTotalTime, preprocess, setInitialTime, setTotalTime, solve, toString`

    - ### Methods inherited from class java.lang.Object

      `equals, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Constructor Detail

    - #### SatisfiableQuery

          public SatisfiableQuery(Concept c)
                           throws FuzzyOntologyException

      Constructor for a general satisfiability query.
      Parameters:
        `c` - A fuzzy concept for which the satisfiability is to be tested.
      Throws:
        `FuzzyOntologyException` - fuzzy ontology exception.

    - #### SatisfiableQuery

          public SatisfiableQuery(Concept c,
                                  Individual a)
                           throws FuzzyOntologyException

      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.
      Throws:
        `FuzzyOntologyException` - fuzzy ontology exception.