# Package fuzzydl

- Class Summary
  Class | Description
  --- | ---
  AllInstancesQuery | Min instance query for every individual of a knowledge base.
  Assertion | Assertion of the form (individual, Concept, lowerDegree).
  AtomicAssertion | Atomic assertion of the form (AtomicConcept, lowerDegree).
  BnpQuery | Best Non-Fuzzy Performance (BNP) of a fuzzy number.
  ChoquetIntegral | Choquet integral concept.
  ClassicalSolver | Solver for classical logic semantics.
  Concept | Fuzzy concept.
  ConceptEquivalence | Concept equivalence axiom.
  ConcreteFeature | Functional concrete feature with a range string, integer or real.
  ConfigReader | Reads some configuration arguments for the reasoner.
  CreatedIndividual | New individual (created during the reasoning).
  CrispConcreteConcept | Concrete concept defined with a crisp interval.
  DatatypeReasoner | Datatype restrictions reasoner.
  DefuzzifyQuery | Defuzzification query.
  Degree | Degree.
  DegreeExpression | Degree defined using an expression.
  DegreeNumeric | Degree defined using a real number in [0,1].
  DegreeVariable | Degree defined using a variable.
  DomainAxiom | Role domain axiom
  FeatureFunction | Function involving several features.
  FuzzyConcreteConcept | Fuzzy concrete concept defined with an explicit membership function.
  FuzzydlToOwl2 |
  GeneralConceptInclusion | General concept inclusion axiom.
  HasValueRestriction | Universal restriction formed by a role, a individual and a lower bound degree.
  Individual | Individual.
  IndividualComparator | Compares created individuals.
  InstanceQuery | Instance checking query.
  KbSatisfiableQuery | Knowledge base satisfiability degree
  KnowledgeBase | Fuzzy knowledge base.
  Label | Label (weighted concept used in created individuals).
  LeftConcreteConcept | Fuzzy concrete concept defined with a left shoulder function.
  LinearConcreteConcept | Fuzzy concrete concept defined with a left shoulder function.
  LinearlyModifiedConcept | Fuzzy concept modified with a linear modifier.
  LinearModifier | Linear modifier.
  LomDefuzzifyQuery | Largest of maxima defuzzification query.
  LukasiewiczSolver | Solver for Lukasiewicz fuzzy logic semantics.
  MaxInstanceQuery | Lowest upper bound of a concept assertion.
  MaxQuery | Maximize expression query.
  MaxRelatedQuery | Lowest upper bound of a role assertion (ind1, ind2, role)
  MaxSatisfiableQuery | Maximal satisfiability degree of a fuzzy concept.
  MaxSubsumesQuery | Minimize subsumption query.
  MinInstanceQuery | Greatest lower bound of a concept assertion.
  MinQuery | Minimize expression query.
  MinRelatedQuery | Greatest lower bound of a role assertion (ind1, ind2, role)
  MinSatisfiableQuery | Minimal satisfiability degree of a fuzzy concept.
  MinSubsumesQuery | Minimize subsumption query.
  ModifiedConcept | Modified fuzzy concept.
  ModifiedConcreteConcept | Concrete concept defined with a crisp interval.
  Modifier | Fuzzy modifier.
  MomDefuzzifyQuery | Middle of maxima defuzzification query.
  NegatedNominal | Negated nominal concept.
  OwaConcept | OWA concept.
  PrimitiveConceptDefinition | General concept inclusion axiom.
  QowaConcept | Quantified-guided OWA concept.
  QsugenoIntegral | Quasi Sugeno integral concept.
  Query | Query.
  RangeAxiom | Role range axiom
  RelatedQuery | Entailment of a role assertion query.
  Relation | Represents a role assertion of the form (object individual, role, lower bound for the degree) with respect to a subject individual.
  RepresentativeIndividual | New concrete individual being a representative of a set of individuals.
  Restriction | Universal restriction formed by a role, a concept and a lower bound degree.
  RightConcreteConcept | Fuzzy concrete concept defined with a right shoulder function.
  RoleParentWithDegree | Pair of elements (role, degree in [0,1].
  SatisfiableQuery | Fuzzy concept satisfiability query.
  SomDefuzzifyQuery | Smallest of maxima defuzzification query.
  SubsumptionQuery | Subsumption query.
  SugenoIntegral | Sugeno integral concept.
  TrapezoidalConcreteConcept | Fuzzy concrete concept defined with a trapezoidal function.
  TriangularConcreteConcept | Fuzzy concrete concept defined with a triangular function.
  TriangularFuzzyNumber | Fuzzy number defined with a triangular function.
  TriangularlyModifiedConcept | Fuzzy concept modified with a triangular modifier.
  TriangularModifier | Triangular modifier.
  WeightedMaxConcept | Weighted sum concept.
  WeightedMinConcept | Weighted sum concept.
  WeightedSumConcept | Weighted sum concept.
  WeightedSumZeroConcept | Weighted sum zero concept.
  ZadehSolver | Solver for Zadeh fuzzy logic semantics.

- Enum Summary
  Enum | Description
  --- | ---
  FuzzyLogic | Fuzzy logic.