fuzzydl
Class WeightedSumConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.WeightedSumConcept

public class WeightedSumConcept
extends Concept

Weighted sum concept.

Field Summary

Fields inherited from class fuzzydl.Concept

ALL, AND, AT_LEAST_VALUE, AT_MOST_VALUE, ATOMIC, BOTTOM, c1, c2, 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_EXACT_VALUE, NOT_EXT_NEG_THRESHOLD, NOT_EXT_POS_THRESHOLD, NOT_G_IMPLIES, NOT_NEG_THRESHOLD, NOT_POS_THRESHOLD, NOT_W_SUM, NOT_WEIGHTED, OR, POS_THRESHOLD, SELF, SOME, TIGHT_LOWER_APPROX, TIGHT_UPPER_APPROX, TOP, type, UPPER_APPROX, W_SUM, WEIGHTED

Constructor Summary

WeightedSumConcept(java.lang.String name, int type, WeightedConcept[] conceptWeights)

WeightedSumConcept(WeightedConcept[] conceptWeights)

Method Summary

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.lang.String	getFuzzydlName() Gets a String name in fuzzy DL syntax.
void	solveAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.

Methods inherited from class fuzzydl.Concept

all, and, and, atLeastValue, atMostValue, complement, exactValue, extendedNegThreshold, extendedPosThreshold, g_and, g_and, g_and, g_implies, g_or, g_or, getName, getRole, getType, getValue, getWeight, getWeightVar, isConcrete, kd_implies, l_and, l_and, l_implies, l_or, l_or, looseLowerApprox, looseUpperApprox, lowerApprox, negThreshold, newAtomicConcept, or, or, posThreshold, self, setName, setType, setValue, some, tightLowerApprox, tightUpperApprox, toString, upperApprox, weightedConcept, z_implies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

WeightedSumConcept

public WeightedSumConcept(WeightedConcept[] conceptWeights)
                   throws FuzzyOntologyException

Throws:

FuzzyOntologyException

WeightedSumConcept

public WeightedSumConcept(java.lang.String name,
                          int type,
                          WeightedConcept[] conceptWeights)
                   throws FuzzyOntologyException

Throws:

FuzzyOntologyException

Method Detail

getFuzzydlName

public java.lang.String getFuzzydlName()

Description copied from class: Concept

Gets a String name in fuzzy DL syntax.

Overrides:

getFuzzydlName in class Concept

Returns:

Name in fuzzy DL syntax.

complement

public Concept complement()

Gets the complement of the concept.

Returns:

Complement of the concept.

solveAssertion

public void solveAssertion(Individual ind,
                           Degree degree,
                           KnowledgeBase kb)

Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.

Parameters:

ind - An individual.

degree - Lower bound for the degree.

kb - A fuzzy KB.

solveComplementAssertion

public void solveComplementAssertion(Individual ind,
                                     Degree degree,
                                     KnowledgeBase kb)

Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.

Parameters:

ind - An individual.

degree - Lower bound for the degree.

kb - A fuzzy KB.

getAtomicConcepts

public java.util.HashSet<Concept> getAtomicConcepts()

Description copied from class: Concept

Gets a set of the atomic concepts that compose the current concept.

Overrides:

getAtomicConcepts in class Concept

Returns:

A HashSet of instances of the class Concept.