## Uses of Class
fuzzydl.KnowledgeBase

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

- - ### Uses of KnowledgeBase in fuzzydl

    Methods in fuzzydl that return KnowledgeBase
    Modifier and Type | Method and Description
    --- | ---
    `KnowledgeBase` | KnowledgeBase.`clone()` Gets a copy of a knowledge base.
    `KnowledgeBase` | KnowledgeBase.`cloneWithoutABox()` Gets a copy of a knowledge base except the ABox.

    Methods in fuzzydl with parameters of type KnowledgeBase
    Modifier and Type | Method and Description
    --- | ---
    `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` | CreatedIndividual.`markIndirectlySimpleUnChecked(KnowledgeBase kb)` Marks the subtree of a node as indirectly unblocked
    `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` | BnpQuery.`preprocess(KnowledgeBase kb)`
    `void` | MomDefuzzifyQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinRelatedQuery.`preprocess(KnowledgeBase kb)`
    `void` | KbSatisfiableQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinSatisfiableQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinQuery.`preprocess(KnowledgeBase kb)`
    `void` | MinInstanceQuery.`preprocess(KnowledgeBase kb)`
    `void` | DefuzzifyQuery.`preprocess(KnowledgeBase kb)`
    `Solution` | AllInstancesQuery.`solve(KnowledgeBase kb)`
    `Solution` | MaxSatisfiableQuery.`solve(KnowledgeBase kb)`
    `abstract Solution` | Query.`solve(KnowledgeBase kb)` Solves the query over a fuzzy KB.
    `Solution` | MaxRelatedQuery.`solve(KnowledgeBase kb)`
    `Solution` | MaxInstanceQuery.`solve(KnowledgeBase kb)`
    `Solution` | MaxSubsumesQuery.`solve(KnowledgeBase kb)`
    `Solution` | MaxQuery.`solve(KnowledgeBase kb)`
    `Solution` | MinSubsumesQuery.`solve(KnowledgeBase kb)`
    `Solution` | BnpQuery.`solve(KnowledgeBase kb)`
    `Solution` | MomDefuzzifyQuery.`solve(KnowledgeBase kb)`
    `Solution` | MinRelatedQuery.`solve(KnowledgeBase kb)`
    `Solution` | KbSatisfiableQuery.`solve(KnowledgeBase kb)`
    `Solution` | MinSatisfiableQuery.`solve(KnowledgeBase kb)`
    `Solution` | MinQuery.`solve(KnowledgeBase kb)`
    `Solution` | MinInstanceQuery.`solve(KnowledgeBase kb)`
    `Solution` | DefuzzifyQuery.`solve(KnowledgeBase kb)`
    `static void` | ClassicalSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveAll(Relation rel, Restriction restric, KnowledgeBase kb)` Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ClassicalSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveAnd(Assertion ass, KnowledgeBase kb)` Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
    `void` | TrapezoidalConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | TriangularConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | RightConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | LeftConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | LinearConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | ModifiedConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `void` | CrispConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)`
    `abstract void` | FuzzyConcreteConcept.`solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)` Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
    `void` | TriangularModifier.`solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)`
    `void` | LinearModifier.`solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)`
    `abstract void` | Modifier.`solveAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
    `void` | ModifiedConcept.`solveAssertion(Individual ind, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
    `void` | WeightedSumZeroConcept.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | WeightedMinConcept.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | OwaConcept.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | SugenoIntegral.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | WeightedSumConcept.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | WeightedMaxConcept.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | ChoquetIntegral.`solveAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
    `void` | FuzzyConcreteConcept.`solveComplementAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)` Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
    `void` | Modifier.`solveComplementAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
    `void` | ModifiedConcept.`solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
    `void` | WeightedSumZeroConcept.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | WeightedMinConcept.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | OwaConcept.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | SugenoIntegral.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | WeightedSumConcept.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | WeightedMaxConcept.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `void` | ChoquetIntegral.`solveComplementedAssertion(Individual ind, KnowledgeBase kb)` Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
    `static void` | ClassicalSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | ZadehSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `static void` | LukasiewiczSolver.`solveOr(Assertion ass, KnowledgeBase kb)` Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
    `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.

    Constructors in fuzzydl with parameters of type KnowledgeBase
    Constructor and Description
    `CreatedIndividual(java.lang.String name, Individual parent, java.lang.String roleName, KnowledgeBase kb)` Constructor.

  - ### Uses of KnowledgeBase in fuzzydl.parser

    Methods in fuzzydl.parser that return KnowledgeBase
    Modifier and Type | Method and Description
    --- | ---
    `KnowledgeBase` | Parser.`getKB()` Gets a KB.
    `static KnowledgeBase` | Parser.`getKB(java.lang.String fileName)` Creates a fuzzy KB from an external file.