|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use KnowledgeBase | |
---|---|
reasoner |
Uses of KnowledgeBase in reasoner |
---|
Fields in reasoner declared as KnowledgeBase | |
---|---|
private KnowledgeBase |
RoleQuery.kb
The KnowledgeBase |
private KnowledgeBase |
Role.kb
The KnowledgeBase |
protected KnowledgeBase |
Quantifier.kb
the KnowledgeBase |
private KnowledgeBase |
OpQuery.kb
The KnowledgeBase |
protected KnowledgeBase |
Individual.kb
|
protected KnowledgeBase |
ConcreteConcept.kb
the KnowledgeBase |
protected static KnowledgeBase |
Concept.kb
the Knowledge Base |
Methods in reasoner that return KnowledgeBase | |
---|---|
KnowledgeBase |
RoleQuery.getKb()
|
KnowledgeBase |
Role.getKb()
|
KnowledgeBase |
Quantifier.getKb()
|
KnowledgeBase |
OpQuery.getKb()
|
KnowledgeBase |
Individual.getKb()
|
KnowledgeBase |
ConcreteConcept.getKb()
|
static KnowledgeBase |
Concept.getKb()
|
Methods in reasoner with parameters of type KnowledgeBase | |
---|---|
void |
RoleQuery.setKb(KnowledgeBase kb)
|
void |
Role.setKb(KnowledgeBase kb)
|
void |
Quantifier.setKb(KnowledgeBase kb)
Sets the KnowledgeBase and constants NOW and SELF |
void |
OpQuery.setKb(KnowledgeBase kb)
|
void |
Individual.setKb(KnowledgeBase kb)
|
void |
ConcreteConcept.setKb(KnowledgeBase kb)
|
static void |
Concept.setKb(KnowledgeBase kkb)
|
Constructors in reasoner with parameters of type KnowledgeBase | |
---|---|
Concept(java.util.Map<Individual,java.lang.Double> ev,
java.lang.String name,
KnowledgeBase kb)
Constructs a Concept from the given map of EventInds and values and with a given name and in a given knowledge base |
|
Concept(java.lang.String name,
KnowledgeBase kb)
Constructs an empty Concept, with a given name and in a given KnowledgeBase |
|
ConcreteConcept(java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max,
KnowledgeBase kb)
Constructor by vertices, max and KnowledgeBase |
|
ConcreteConcept(java.lang.String name,
java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max,
KnowledgeBase kb)
Constructor by name, vertices, max and KnowledgeBase |
|
ConcreteConcept(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
Distance(KnowledgeBase kb)
Constructs a new empty Distance |
|
Distance(java.lang.String name,
KnowledgeBase kb)
Constructs a new empty Distance |
|
Distance(java.util.TreeMap<Individual,java.lang.Double> r,
KnowledgeBase kb)
Constructs a new Distance with a given Role map |
|
Dynamic(java.util.Map<Individual,java.lang.Double> m,
java.lang.String name,
KnowledgeBase kb)
Constructor by EventInd map, name and KnowledgeBase |
|
Dynamic(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
DynamicInd(java.lang.String name,
ULineEvent line,
double time,
KnowledgeBase kb)
Constructs a new DynamicInd, by name, ULineEvent, time and KnowledgeBase |
|
Event(java.util.Map<Individual,java.lang.Double> m,
java.lang.String name,
KnowledgeBase kb)
Constructor by EventInd map, name and KnowledgeBase |
|
Event(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
EventInd(java.lang.String name,
ULineEvent line,
double time,
KnowledgeBase kb)
Constructs a new EventInd by name, ULineEvent, time and Knowledge Base |
|
EventInd(java.lang.String name,
ULineEvent line,
KnowledgeBase kb)
Constructs a new EventInd by name, ULineEvent and Knowledge Base. |
|
Individual(java.lang.String name,
KnowledgeBase kb)
Constructor for the generic Individual, by name and KnowledgeBase |
|
OpQuery(ConcreteConcept tc1,
java.lang.String operator,
ConcreteConcept tc2,
KnowledgeBase kb)
Constructor by two ConcreteConcepts, binary operator and KnowledgeBase |
|
OpQuery(Quantifier q,
ConcreteConcept tc1,
java.lang.String operator,
ConcreteConcept tc2,
KnowledgeBase kb)
Constructor by Quantifier, two ConcreteConcepts, binary operator and KnowledgeBase |
|
Quantifier(java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max,
KnowledgeBase kb)
Constructor by vertices, max and KnowledgeBase |
|
Quantifier(java.lang.String name,
java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max,
KnowledgeBase kb)
Constructor by name, vertices, max and KnowledgeBase |
|
Quantifier(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
Role(KnowledgeBase kb)
Constructs an empty Role |
|
Role(java.lang.String name,
KnowledgeBase kb)
Constructs this Role by name and KnowledgeBase |
|
Role(java.util.TreeMap<Individual,java.lang.Double> r,
KnowledgeBase kb)
Constructs this Role by map and KnowledgeBase |
|
RoleQuery(Quantifier tempq,
Quantifier q,
Role r,
ConcreteConcept tc,
KnowledgeBase kb)
Constructor for this RoleQuery |
|
RoleQuery(Quantifier q,
Role r,
ConcreteConcept tc,
KnowledgeBase kb)
Constructor for this RoleQuery, with null temporal quantifier |
|
Static(java.util.Map<Individual,java.lang.Double> m,
java.lang.String name,
KnowledgeBase kb)
Constructor by StaticInd map, name and KnowledgeBase |
|
Static(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
StaticInd(java.lang.String name,
double time,
KnowledgeBase kb)
Constructs a new StaticInd, by name, time and KnowledgeBase. |
|
StaticInd(java.lang.String name,
KnowledgeBase kb)
Constructs a new StaticInd, by name and KnowledgeBase. |
|
ULine(java.util.Map<Individual,java.lang.Double> m,
java.lang.String name,
KnowledgeBase kb)
Constructor by ULineInd map, name and KnowledgeBase. |
|
ULine(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
ULineEvent(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
|
ULineInd(java.lang.String name,
ULineEvent line,
double time,
KnowledgeBase kb)
Constructs a new ULineInd by name, ULineEvent, time and Knowledge Base |
|
ULineInd(java.lang.String name,
ULineEvent line,
KnowledgeBase kb)
Constructs a new ULineInd by name, ULineEvent and Knowledge Base. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |