Uses of Class
reasoner.KnowledgeBase

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.