Package reasoner

Interface Summary
FuzzySet This interface represents the generic fuzzy set.
Query This class represents the generic query
 

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