Class Summary |
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 |
Distance |
This class represents the Role "distance" |
Dynamic |
This class represents Concept containing DynamicInd. |
DynamicInd |
This abstract class represents the Dynamic Individuals. |
Event |
This class represents Concept containing EventInd only. |
EventInd |
This class represents Event Individuals as subclass of DynamicInd |
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 |
OpQuery |
This class represents a Query in the form (Q)AopB, where A and B are
ConcreteConcept, op is binary operator between Concepts and Q is Quantifier. |
Quantifier |
This class represents a trapezoidal quantifier, with non negative
values only |
Role |
This class represents a role or, more exactly, the role projection
over some individual, as a fuzzy set |
RoleQuery |
This class represents a Query in the generic form (Qt)(Q)R.C, where Qt is a
temporal Quantifier, Q is a Quantifier, R is a Role, C is a Concept |
Static |
This class represents Concept containing StaticInd only. |
StaticInd |
This class represents the Static Individuals. |
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. |
ULine |
This class represents Concept containing ULineInd only. |
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 |