| 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 | Description |
|---|---|
| FuzzyLogic |
Fuzzy logic.
|