A B C D E F G I K L M N O P Q R S T U V X Y _

D

d - Variable in class reasoner.OpQuery
 
d - Variable in class reasoner.Trapezoid
 
diff(ConcreteConcept) - Method in class reasoner.ConcreteConcept
FuzzySet difference between this ConcreteConcept and a second one
diff(Quantifier) - Method in class reasoner.Quantifier
Difference between this Quantifier and a second one.
diff(Trapezoid) - Method in class reasoner.Trapezoid
Fuzzy Set difference between this Trapezoid and a second one
Distance - Class in reasoner
This class represents the Role "distance"
Distance(String, KnowledgeBase) - Constructor for class reasoner.Distance
Constructs a new empty Distance
Distance(TreeMap<Individual, Double>, KnowledgeBase) - Constructor for class reasoner.Distance
Constructs a new Distance with a given Role map
Distance(KnowledgeBase) - Constructor for class reasoner.Distance
Constructs a new empty Distance
domain - Variable in class tbox.PropertyType
 
domain - Variable in class tbox.RoleType
 
Dynamic - Class in reasoner
This class represents Concept containing DynamicInd.
Dynamic(String, KnowledgeBase) - Constructor for class reasoner.Dynamic
Constructor by name and KnowledgeBase
Dynamic(Map<Individual, Double>, String, KnowledgeBase) - Constructor for class reasoner.Dynamic
Constructor by EventInd map, name and KnowledgeBase
DynamicInd - Class in reasoner
This abstract class represents the Dynamic Individuals.
DynamicInd(String, ULineEvent, double, KnowledgeBase) - Constructor for class reasoner.DynamicInd
Constructs a new DynamicInd, by name, ULineEvent, time and KnowledgeBase

A B C D E F G I K L M N O P Q R S T U V X Y _