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.
|
GeneralConceptInclusion |
General concept inclusion axiom.
|
Individual |
Individual.
|
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.
|
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 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 |
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.
|