## Uses of Class
fuzzydl.exception.FuzzyOntologyException

- Packages that use FuzzyOntologyException
  Package | Description
  --- | ---
  fuzzydl |
  fuzzydl.parser |
  fuzzydl.util |

- - ### Uses of FuzzyOntologyException in fuzzydl

    Methods in fuzzydl that throw FuzzyOntologyException
    Modifier and Type | Method and Description
    --- | ---
    `static TriangularFuzzyNumber` | TriangularFuzzyNumber.`add(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2)` Adds two triangular fuzzy numbers.
    `Concept` | KnowledgeBase.`addDatatypeRestriction(int restrictionType, java.lang.Object o, java.lang.String fName)` Adds a datatype restriction of the form (restrictionType, fName, o).
    `void` | KnowledgeBase.`addModifier(java.lang.String modName, Modifier mod)` Adds a fuzzy modifier to the fuzzy KB.
    `void` | KnowledgeBase.`checkRole(java.lang.String roleName, Concept conc)` Checks the disjointness between abstract and concrete roles.
    `Concept` | QsugenoIntegral.`complement()` Gets the complement of the concept.
    `Concept` | TrapezoidalConcreteConcept.`complement()`
    `Concept` | TriangularConcreteConcept.`complement()`
    `Concept` | WeightedSumZeroConcept.`complement()` Gets the complement of the concept.
    `Concept` | RightConcreteConcept.`complement()`
    `Concept` | WeightedMinConcept.`complement()` Gets the complement of the concept.
    `Concept` | OwaConcept.`complement()` Gets the complement of the concept.
    `Concept` | SugenoIntegral.`complement()` Gets the complement of the concept.
    `Concept` | WeightedSumConcept.`complement()` Gets the complement of the concept.
    `Concept` | WeightedMaxConcept.`complement()` Gets the complement of the concept.
    `Concept` | LeftConcreteConcept.`complement()`
    `Concept` | QowaConcept.`complement()` Gets the complement of the concept.
    `Concept` | ChoquetIntegral.`complement()` Gets the complement of the concept.
    `Concept` | NegatedNominal.`complement()` Gets the complement of the concept.
    `Concept` | LinearConcreteConcept.`complement()`
    `Concept` | ModifiedConcreteConcept.`complement()`
    `Concept` | CrispConcreteConcept.`complement()`
    `abstract Concept` | FuzzyConcreteConcept.`complement()` Gets the complement of the concept.
    `void` | KnowledgeBase.`defineBooleanConcreteFeature(java.lang.String funcRole)` Define a concrete feature with range boolean.
    `void` | KnowledgeBase.`defineIntegerConcreteFeature(java.lang.String funcRole, java.lang.Integer d1, java.lang.Integer d2)` Define a concrete feature with range integers in [d1, d2].
    `void` | KnowledgeBase.`defineRealConcreteFeature(java.lang.String funcRole, java.lang.Double d1, java.lang.Double d2)` Define a concrete feature with range real numbers in [d1, d2].
    `void` | KnowledgeBase.`defineStringConcreteFeature(java.lang.String funcRole)` Define a concrete feature with range string.
    `static TriangularFuzzyNumber` | TriangularFuzzyNumber.`dividedBy(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2)` Divides two triangular fuzzy numbers.
    `boolean` | KbSatisfiableQuery.`isConsistentKB(KnowledgeBase kb)`
    `static TriangularFuzzyNumber` | TriangularFuzzyNumber.`minus(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2)` Subtracts two triangular fuzzy numbers.
    `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` | 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)`
    `Concept` | LinearlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | QsugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumZeroConcept.`replace(Concept a, Concept c)`
    `abstract Concept` | ModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMinConcept.`replace(Concept a, Concept c)`
    `Concept` | OwaConcept.`replace(Concept a, Concept c)`
    `Concept` | SugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMaxConcept.`replace(Concept a, Concept c)`
    `Concept` | QowaConcept.`replace(Concept a, Concept c)`
    `Concept` | TriangularlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | ChoquetIntegral.`replace(Concept a, Concept c)`
    `Concept` | Concept.`replace(Concept a, Concept c)` Gets a new concept by replacing an atomic concept a with a complex concept c.
    `void` | KnowledgeBase.`saveToFile(java.lang.String fileName)` Saves a fuzzy KB into a text file.
    `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` | 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)`
    `void` | KnowledgeBase.`solveAssertions()` Solves all the fuzzy assertions.
    `void` | KnowledgeBase.`solveKB()` Prepares the fuzzy knowledge base to reason with it.
    `static TriangularFuzzyNumber` | TriangularFuzzyNumber.`times(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2)` Multiplies two triangular fuzzy numbers.

    Constructors in fuzzydl that throw FuzzyOntologyException
    Constructor and Description
    `AllInstancesQuery(Concept concept)`
    `ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `InstanceQuery(Concept concept, Individual individual)`
    `KbSatisfiableQuery()`
    `LeftConcreteConcept(java.lang.String name, double k1, double k2, double a, double b)`
    `LeftConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b)`
    `LinearConcreteConcept(java.lang.String name, double k1, double k2, double a, double b)`
    `LinearConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b)`
    `MaxInstanceQuery(Concept concept, Individual individual)`
    `MaxSatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `MaxSatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `MaxSubsumesQuery(Concept c1, Concept c2, int type)`
    `MinInstanceQuery(Concept concept, Individual individual)`
    `MinSatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `MinSatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `MinSubsumesQuery(Concept c1, Concept c2, int type)`
    `ModifiedConcreteConcept(java.lang.String name, int type, Modifier modifier, FuzzyConcreteConcept f)`
    `ModifiedConcreteConcept(java.lang.String name, Modifier modifier, FuzzyConcreteConcept f)`
    `OwaConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `QowaConcept(FuzzyConcreteConcept quantifier, java.util.ArrayList<Concept> concepts)`
    `QsugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `RightConcreteConcept(java.lang.String name, double k1, double k2, double a, double b)`
    `RightConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b)`
    `SatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `SatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `SubsumptionQuery(Concept c1, Concept c2, int type)`
    `SugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `TrapezoidalConcreteConcept(java.lang.String name, double k1, double k2, double a, double b, double c, double d)`
    `TrapezoidalConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b, double c, double d)`
    `TriangularConcreteConcept(java.lang.String name, double k1, double k2, double a, double b, double c)`
    `TriangularConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b, double c)`
    `TriangularFuzzyNumber(double a, double b, double c)`
    `TriangularFuzzyNumber(java.lang.String name, double a, double b, double c)`
    `TriangularFuzzyNumber(java.lang.String name, int type, double a, double b, double c)`
    `TriangularModifier(java.lang.String name, double a, double b, double c)`
    `WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedMinConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedSumConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedSumZeroConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`

  - ### Uses of FuzzyOntologyException in fuzzydl.parser

    Methods in fuzzydl.parser that throw FuzzyOntologyException
    Modifier and Type | Method and Description
    --- | ---
    `static void` | Parser.`main(java.lang.String[] args)` Main program.
    `void` | Parser.`Start()`

  - ### Uses of FuzzyOntologyException in fuzzydl.util

    Methods in fuzzydl.util that throw FuzzyOntologyException
    Modifier and Type | Method and Description
    --- | ---
    `static void` | Util.`error(java.lang.String message)` Prints an error message and finishes the execution of the program.