## Uses of Class
fuzzydl.exception.InconsistentOntologyException

- Packages that use InconsistentOntologyException
  Package | Description
  --- | ---
  fuzzydl |
  fuzzydl.parser |

- - ### Uses of InconsistentOntologyException in fuzzydl

    Methods in fuzzydl that throw InconsistentOntologyException
    Modifier and Type | Method and Description
    --- | ---
    `void` | KnowledgeBase.`addConceptsDisjoint(java.util.ArrayList<Concept> disjointConcepts)` Adds some disjoint concept axioms.
    `void` | KnowledgeBase.`addConceptsDisjoint(Concept c, Concept d)`
    `void` | KnowledgeBase.`addEquivalentConcepts(java.util.ArrayList<Concept> equivConcepts)` Adds some equivalent concept axioms.
    `Relation` | KnowledgeBase.`addRelation(Individual indA, java.lang.String role, Individual indB, Degree degree)` Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
    `void` | KnowledgeBase.`defineEquivalentConcepts(Concept c1, Concept c2)` Adds a concept equivalence axiom.
    `Individual` | KnowledgeBase.`getIndividual(java.lang.String indName)` Gets an individual with the indicated name (creating it if necessary).
    `void` | KnowledgeBase.`gImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Goedel General Concept Inclusion.
    `void` | KnowledgeBase.`implies(Concept conc1, Concept conc2, Degree degree)` Adds a General Concept Inclusion (conc1, conc2, degree)
    `boolean` | CreatedIndividual.`isBlocked(KnowledgeBase kb)` Gets if the individual is blocked with respect to a fuzzy KB.
    `boolean` | KbSatisfiableQuery.`isConsistentKB(KnowledgeBase kb)`
    `boolean` | CreatedIndividual.`isIndirectlyBlocked(KnowledgeBase kb)` Gets if the individual is indirectly blocked with respect to a fuzzy KB.
    `void` | KnowledgeBase.`kdImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Kleene-Dienes General Concept Inclusion.
    `void` | KnowledgeBase.`lImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Lukasiewicz General Concept Inclusion.
    `void` | AllInstancesQuery.`preprocess(KnowledgeBase kb)`
    `void` | MaxSatisfiableQuery.`preprocess(KnowledgeBase kb)`
    `abstract void` | Query.`preprocess(KnowledgeBase kb)` Performs some preprocessing steps of the query over a fuzzy KB.
    `void` | MaxRelatedQuery.`preprocess(KnowledgeBase kb)`
    `void` | MaxInstanceQuery.`preprocess(KnowledgeBase kb)`
    `void` | MaxSubsumesQuery.`preprocess(KnowledgeBase kb)`
    `void` | MaxQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinSubsumesQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinRelatedQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinSatisfiableQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinInstanceQuery.`preprocess(KnowledgeBase kb)`
    `void` | DefuzzifyQuery.`preprocess(KnowledgeBase kb)`
    `void` | KnowledgeBase.`solveAssertions()` Solves all the fuzzy assertions.
    `void` | KnowledgeBase.`solveKB()` Prepares the fuzzy knowledge base to reason with it.
    `static void` | ClassicalSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveSome(Assertion ass, KnowledgeBase kb)` Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
    `void` | KnowledgeBase.`zImplies(Concept conc1, Concept conc2)` Adds a Zadeh General Concept Inclusion.

  - ### Uses of InconsistentOntologyException in fuzzydl.parser

    Methods in fuzzydl.parser that throw InconsistentOntologyException
    Modifier and Type | Method and Description
    --- | ---
    `void` | Parser.`Start()`