public class WeightedMaxConcept extends Concept
ALL, AND, AT_LEAST_VALUE, AT_MOST_VALUE, ATOMIC, BOTTOM, CHOQUET_INTEGRAL, COMPLEMENT, CONCEPT_BOTTOM, CONCEPT_TOP, CONCRETE, CONCRETE_COMPLEMENT, EXACT_VALUE, EXT_NEG_THRESHOLD, EXT_POS_THRESHOLD, FUZZY_NUMBER, FUZZY_NUMBER_COMPLEMENT, G_AND, G_IMPLIES, G_OR, L_AND, L_OR, LOOSE_LOWER_APPROX, LOOSE_UPPER_APPROX, LOWER_APPROX, MODIFIED, MODIFIED_COMPLEMENT, NEG_THRESHOLD, NOT_AT_LEAST_VALUE, NOT_AT_MOST_VALUE, NOT_CHOQUET_INTEGRAL, NOT_EXACT_VALUE, NOT_EXT_NEG_THRESHOLD, NOT_EXT_POS_THRESHOLD, NOT_G_IMPLIES, NOT_NEG_THRESHOLD, NOT_OWA, NOT_POS_THRESHOLD, NOT_QUANTIFIED_OWA, NOT_QUASI_SUGENO_INTEGRAL, NOT_SUGENO_INTEGRAL, NOT_W_MAX, NOT_W_MIN, NOT_W_SUM, NOT_W_SUM_ZERO, NOT_WEIGHTED, OR, OWA, POS_THRESHOLD, QUANTIFIED_OWA, QUASI_SUGENO_INTEGRAL, SELF, SOME, SUGENO_INTEGRAL, TIGHT_LOWER_APPROX, TIGHT_UPPER_APPROX, TOP, UPPER_APPROX, W_MAX, W_MIN, W_SUM, W_SUM_ZERO, WEIGHTED
Constructor and Description |
---|
WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
Modifier and Type | Method and Description |
---|---|
Concept |
complement()
Gets the complement of the concept.
|
java.util.HashSet<Concept> |
getAtomicConcepts()
Gets a set of the atomic concepts that compose the current concept.
|
java.util.HashSet<java.lang.String> |
getRoles()
Gets a set of the roles that compose the current concept.
|
void |
solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
java.lang.String |
toString()
Gets a printable name of the concept.
|
all, and, and, atLeastValue, atMostValue, complement, exactValue, extendedNegThreshold, extendedPosThreshold, gAnd, gAnd, getRole, getType, getValue, getWeight, getWeightVar, gImplies, gOr, gOr, isAtomic, isComplementedAtomic, isConcrete, kdImplies, lAnd, lAnd, lImplies, looseLowerApprox, looseUpperApprox, lOr, lOr, lowerApprox, nAry, negThreshold, newAtomicConcept, or, or, posThreshold, self, setName, setType, setValue, some, tightLowerApprox, tightUpperApprox, upperApprox, weightedConcept, zImplies
public WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts) throws FuzzyOntologyException
FuzzyOntologyException
public java.lang.String toString()
Concept
public Concept complement() throws FuzzyOntologyException
FuzzyOntologyException
public void solveAssertion(Individual ind, KnowledgeBase kb)
ind
- An individual.kb
- A fuzzy KB.public void solveComplementedAssertion(Individual ind, KnowledgeBase kb)
ind
- An individual.kb
- A fuzzy KB.public java.util.HashSet<Concept> getAtomicConcepts()
Concept
public java.util.HashSet<java.lang.String> getRoles()
Concept