fuzzydl

## Class SubsumptionQuery

- java.lang.Object
- - fuzzydl.Query
  - - fuzzydl.SubsumptionQuery

- Direct Known Subclasses:
    MaxSubsumesQuery, MinSubsumesQuery

      public abstract class SubsumptionQuery
      extends Query

  Subsumption query.
  Author:
    Fernando Bobillo

- - ### Field Summary

    Fields
    Modifier and Type | Field and Description
    --- | ---
    `static int` | `GOEDEL` Goedel implication
    `static int` | `KLEENE_DIENES` Kleene-Dienes implication
    `static int` | `LUKASIEWICZ` Lukasiewicz implication
    `static int` | `ZADEH` Zadeh implication

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `SubsumptionQuery(Concept c1, Concept c2, int type)`

  - ### 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`

- - ### Field Detail

    - #### LUKASIEWICZ

          public static final int LUKASIEWICZ

      Lukasiewicz implication
      See Also:
        Constant Field Values

    - #### GOEDEL

          public static final int GOEDEL

      Goedel implication
      See Also:
        Constant Field Values

    - #### ZADEH

          public static final int ZADEH

      Zadeh implication
      See Also:
        Constant Field Values

    - #### KLEENE_DIENES

          public static final int KLEENE_DIENES

      Kleene-Dienes implication
      See Also:
        Constant Field Values

  - ### Constructor Detail

    - #### SubsumptionQuery

          public SubsumptionQuery(Concept c1,
                                  Concept c2,
                                  int type)
                           throws FuzzyOntologyException

      Throws:
        `FuzzyOntologyException`