|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use reasoner | |
---|---|
reasoner |
Classes in reasoner used by reasoner | |
---|---|
Concept
This class represents a logic Concept as a FuzzySet of Individual |
|
ConcreteConcept
This class represents a Concrete Concept, having a Trapezoid as membership function and contained in a KnowledgeBase |
|
Dynamic
This class represents Concept containing DynamicInd. |
|
DynamicInd
This abstract class represents the Dynamic Individuals. |
|
Event
This class represents Concept containing EventInd only. |
|
FuzzySet
This interface represents the generic fuzzy set. |
|
Individual
This abstract class represents the generic Individuals. |
|
KnowledgeBase
This class represents a knowledge base as a container of Concepts, ConcreteConcepts, Individuals, ULineEvents, Roles, Quantifiers and one Query |
|
Quantifier
This class represents a trapezoidal quantifier, with non negative values only |
|
Query
This class represents the generic query |
|
Role
This class represents a role or, more exactly, the role projection over some individual, as a fuzzy set |
|
Trapezoid
This class represents a FuzzySet having trapezoidal membership function, delimited by 4 point: first and last having 0.0 value, second and third having 1.0 value. |
|
ULineEvent
This class represents the Concept of individuals being the events corresponding to the same ULine; it contains, for sake of simplicity, the corresponding ULine too. |
|
ULineInd
This class represents Universal Line Individuals as subclass of DynamicInd |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |