|
Class Summary |
| 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. |
| ClassicalSolver |
Solver for classical logic semantics. |
| Concept |
Fuzzy concept. |
| 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. |
| GeneralConceptInclusion |
General concept inclusion axiom. |
| Individual |
|
| InstanceQuery |
Instance checking query. |
| KnowledgeBase |
Fuzzy knowledge base. |
| Label |
Label (weighted concept used in created individuals). |
| LeftConcreteConcept |
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. |
| Modifier |
Fuzzy modifier. |
| MomDefuzzifyQuery |
Middle of maxima defuzzification query. |
| NegativeRelation |
Represents a role assertion of the form (object individual, role, upper bound
for the degree) with respect to a subject individual. |
| PrimitiveConceptDefinition |
General concept inclusion axiom. |
| 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 conceptept 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 |
|
| 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. |
| WeightedConcept |
Weighted concept. |
| WeightedSumConcept |
Weighted sum concept. |
| ZadehSolver |
Solver for Zadeh fuzzy logic semantics. |