fuzzydl
Class ModifiedConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.ModifiedConcept

Direct Known Subclasses:

LinearlyModifiedConcept, TriangularlyModifiedConcept

public abstract class ModifiedConcept
extends Concept

Modified fuzzy concept.

Field Summary

protected Modifier

mod Fuzzy modifier.

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

ModifiedConcept(Concept c, Modifier mod)

ModifiedConcept(Concept c, Modifier mod, java.lang.String name, int type)

Method Summary

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

Field Detail

mod

protected Modifier mod

Fuzzy modifier.

Constructor Detail

ModifiedConcept

public ModifiedConcept(Concept c,
                       Modifier mod)

ModifiedConcept

public ModifiedConcept(Concept c,
                       Modifier mod,
                       java.lang.String name,
                       int type)

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 abstract Concept complement()

Gets the complement of the concept.

Returns:

Complement of the concept.

solveAssertion

public abstract 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 abstract 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.