|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Quantifier | |
---|---|
reasoner |
Uses of Quantifier in reasoner |
---|
Fields in reasoner declared as Quantifier | |
---|---|
private Quantifier |
RoleQuery.q
The Quantifier |
private Quantifier |
OpQuery.q
The Quantifier |
private Quantifier |
RoleQuery.tempq
The temporal Quantifier |
Fields in reasoner with type parameters of type Quantifier | |
---|---|
private java.util.HashMap<java.lang.String,Quantifier> |
KnowledgeBase.quantifiers
The Quantifier map |
Methods in reasoner that return Quantifier | |
---|---|
Quantifier |
Quantifier.diff(Quantifier t)
Difference between this Quantifier and a second one. |
Quantifier |
RoleQuery.getQ()
|
Quantifier |
OpQuery.getQ()
|
Quantifier |
RoleQuery.getTempq()
|
Quantifier |
Quantifier.intersection(FuzzySet f)
|
Quantifier |
Quantifier.prod(Quantifier t)
Product between this Quantifier and a second one. |
Quantifier |
Quantifier.ratio(Quantifier t)
Ratio between this Quantifier and a second one. |
Quantifier |
Quantifier.sum(Quantifier t)
Sum between this Quantifier and a second one. |
Quantifier |
Quantifier.union(FuzzySet f)
|
Methods in reasoner that return types with arguments of type Quantifier | |
---|---|
java.util.HashMap<java.lang.String,Quantifier> |
KnowledgeBase.getQuantifiers()
|
Methods in reasoner with parameters of type Quantifier | |
---|---|
void |
KnowledgeBase.addQuantifier(Quantifier q)
Adds a Quantifier to this KB |
Quantifier |
Quantifier.diff(Quantifier t)
Difference between this Quantifier and a second one. |
Quantifier |
Quantifier.prod(Quantifier t)
Product between this Quantifier and a second one. |
Quantifier |
Quantifier.ratio(Quantifier t)
Ratio between this Quantifier and a second one. |
void |
RoleQuery.setQ(Quantifier q)
|
void |
OpQuery.setQ(Quantifier q)
|
void |
RoleQuery.setTempq(Quantifier tempq)
|
double |
Concept.subsumed(Quantifier q,
Concept c)
Returns the quantified subsumption value for this Concept in a given second one, given the quantifier. |
Quantifier |
Quantifier.sum(Quantifier t)
Sum between this Quantifier and a second one. |
Method parameters in reasoner with type arguments of type Quantifier | |
---|---|
void |
KnowledgeBase.setQuantifiers(java.util.HashMap<java.lang.String,Quantifier> quantifiers)
|
Constructors in reasoner with parameters of type Quantifier | |
---|---|
OpQuery(Quantifier q,
ConcreteConcept tc1,
java.lang.String operator,
ConcreteConcept tc2,
KnowledgeBase kb)
Constructor by Quantifier, two ConcreteConcepts, binary operator 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 |
Constructor parameters in reasoner with type arguments of type Quantifier | |
---|---|
KnowledgeBase(java.util.HashMap<java.lang.String,Concept> concepts,
java.util.HashMap<java.lang.String,ConcreteConcept> concrConcepts,
java.util.HashMap<java.lang.String,Individual> individuals,
java.util.HashMap<java.lang.String,ULineEvent> uLineEvents,
java.util.HashMap<java.lang.String,Role> roles,
java.util.HashMap<java.lang.String,Quantifier> quantifiers)
Constructor for a new Knowledge Base from given HashMaps of elements |
|
KnowledgeBase(java.util.HashMap<java.lang.String,Concept> concepts,
java.util.HashMap<java.lang.String,ConcreteConcept> concrConcepts,
java.util.HashMap<java.lang.String,Individual> individuals,
java.util.HashMap<java.lang.String,ULineEvent> uLineEvents,
java.util.HashMap<java.lang.String,Role> roles,
java.util.HashMap<java.lang.String,Quantifier> quantifiers,
Query query)
Constructor for a new Knowledge Base from given HashMaps of elements |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |