Uses of Package
reasoner

Packages that use reasoner
monitor   
reasoner   
test   
 

Classes in reasoner used by monitor
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
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.
 

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
 

Classes in reasoner used by test
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
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
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.