fuzzydl
Class Concept

java.lang.Object
  fuzzydl.Concept

Direct Known Subclasses:

FuzzyConcreteConcept, ModifiedConcept, WeightedSumConcept

public class Concept
extends java.lang.Object

Fuzzy concept.

Field Summary

static int	ALL Universal restriction.
static int	AND Conjunction.
static int	AT_LEAST_VALUE At least datatype restriction.
static int	AT_MOST_VALUE At most datatype restriction.
static int	ATOMIC Atomic concept.
static int	BOTTOM Bottom concept.
Concept	c1 In some complex concepts, it is a simpler concept.
Concept	c2 In some complex (binary) concepts, it is a simpler concept.
static int	COMPLEMENT Complement.
static Concept	CONCEPT_BOTTOM Gets a bottom concept.
static Concept	CONCEPT_TOP Gets a top concept.
static int	CONCRETE Concrete concept.
static int	CONCRETE_COMPLEMENT Negated concrete concept.
static int	EXACT_VALUE Exact datatype restriction.
static int	EXT_NEG_THRESHOLD Extended negative threshold.
static int	EXT_POS_THRESHOLD Extended positive threshold.
static int	FUZZY_NUMBER Fuzzy number.
static int	FUZZY_NUMBER_COMPLEMENT Negated fuzzy number.
static int	G_AND Goedel conjunction.
static int	G_IMPLIES Goedel implication.
static int	G_OR Goedel disjunction.
static int	L_AND Lukasiewicz conjunction.
static int	L_OR Lukasiewicz disjunction.
static int	LOOSE_LOWER_APPROX Loose lower fuzzy rough concept.
static int	LOOSE_UPPER_APPROX Loose upper fuzzy rough concept.
static int	LOWER_APPROX Lower fuzzy rough concept.
static int	MODIFIED Modified concept.
static int	MODIFIED_COMPLEMENT Negated modified concept.
static int	NEG_THRESHOLD Negative threshold.
static int	NOT_AT_LEAST_VALUE Negated at least datatype restriction.
static int	NOT_AT_MOST_VALUE Negated at most datatype restriction.
static int	NOT_EXACT_VALUE Negated exact datatype restriction.
static int	NOT_EXT_NEG_THRESHOLD Extended negated negative threshold.
static int	NOT_EXT_POS_THRESHOLD Extended negated positive threshold.
static int	NOT_G_IMPLIES Negated Goedel implication.
static int	NOT_NEG_THRESHOLD Negated negative threshold.
static int	NOT_POS_THRESHOLD Negated positive threshold.
static int	NOT_W_SUM Negated weighted sum.
static int	NOT_WEIGHTED Negated weighted concept.
static int	OR Disjunction.
static int	POS_THRESHOLD Positive threshold.
static int	SELF Self reflexivity concept.
static int	SOME Existential restriction.
static int	TIGHT_LOWER_APPROX Tight lower fuzzy rough concept.
static int	TIGHT_UPPER_APPROX Tight upper fuzzy rough concept.
static int	TOP Top concept.
protected int	type Type of the concept
static int	UPPER_APPROX Upper fuzzy rough concept.
static int	W_SUM Weighted sum.
static int	WEIGHTED Weighted concept.

Constructor Summary

Concept(int type, Concept c1, Concept c2, java.lang.String name)

Concept(int type, double w, Concept c)

Concept(int type, java.lang.String role)

Concept(int type, java.lang.String role, Concept c)

Concept(int type, java.lang.String role, java.lang.Object value)

Concept(int type, Variable w, Concept c)

Concept(java.lang.String name)

Concept(java.lang.String name, int type)

Method Summary

static Concept	all(java.lang.String role, Concept c) Gets a new universal restriction concept.
static Concept	and(Concept c1, Concept c2) Gets a new conjunction concept.
static Concept	and(java.util.Vector<Concept> v) Gets a new conjunction concept.
static Concept	atLeastValue(java.lang.String role, java.lang.Object o) Gets a new at-least datatype restriction concept.
static Concept	atMostValue(java.lang.String role, java.lang.Object o) Gets a new at-most datatype restriction concept.
static Concept	complement(Concept c) Gets the complement of the concept.
static Concept	exactValue(java.lang.String role, java.lang.Object o) Gets a new exact datatype restriction concept.
static Concept	extendedNegThreshold(Variable w, Concept c) Gets a new extended negative threshold concept.
static Concept	extendedPosThreshold(Variable w, Concept c) Gets a new extended positive threshold concept.
static Concept	g_and(Concept c1, Concept c2) Gets a new Goedel conjunction concept.
static Concept	g_and(java.util.HashSet<Concept> c) Gets a new Goedel conjunction concept.
static Concept	g_and(java.util.Vector<Concept> v) Gets a new conjunction concept.
static Concept	g_implies(Concept c1, Concept c2) Gets a new Goedel implication concept.
static Concept	g_or(Concept c1, Concept c2) Gets a new Goedel disjunction concept.
static Concept	g_or(java.util.Vector<Concept> v) Gets a new disjunction 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.
java.lang.String	getName() Gets the name of the concept.
java.lang.String	getRole() Gets the role attribute.
int	getType() Gets the type of the concept.
java.lang.Object	getValue() Gets the value attribute.
double	getWeight() Gets the weight attribute.
Variable	getWeightVar() Gets the weight variable;
boolean	isConcrete() Checks if the concept is concrete (types CONCRETE, CONCRETE_COMPLEMENT, FUZZY_NUMBER or FUZZY_NUMBER_COMPLEMENT)
static Concept	kd_implies(Concept c1, Concept c2) Gets a new Kleene-Dienes implication concept.
static Concept	l_and(Concept c1, Concept c2) Gets a new Lukasiewicz conjunction concept.
static Concept	l_and(java.util.Vector<Concept> v) Gets a new conjunction concept.
static Concept	l_implies(Concept c1, Concept c2) Gets a new Lukasiewicz implication concept.
static Concept	l_or(Concept c1, Concept c2) Gets a new Lukasiewicz disjunction concept.
static Concept	l_or(java.util.Vector<Concept> v) Gets a new disjunction concept.
static Concept	looseLowerApprox(java.lang.String role, Concept c) Gets a new loose lower fuzzy rough concept.
static Concept	looseUpperApprox(java.lang.String role, Concept c) Gets a new loose upper fuzzy rough concept.
static Concept	lowerApprox(java.lang.String role, Concept c) Gets a new lower fuzzy rough concept.
static Concept	negThreshold(double w, Concept c) Gets a new negative threshold concept.
static Concept	newAtomicConcept() Gets a new atomic concept.
static Concept	or(Concept c1, Concept c2) Gets a new disjunction concept.
static Concept	or(java.util.Vector<Concept> v) Gets a new disjunction concept.
static Concept	posThreshold(double w, Concept c) Gets a new positive threshold concept.
static Concept	self(java.lang.String role) Gets a new local reflexivity concept.
void	setName(java.lang.String newName) Sets the name of the concept.
void	setType(int type) Gets the type of the concept.
void	setValue(java.lang.Object newValue) Sets the value attribute.
static Concept	some(java.lang.String role, Concept c) Gets a new existential restriction concept.
static Concept	tightLowerApprox(java.lang.String role, Concept c) Gets a new tight lower fuzzy rough concept.
static Concept	tightUpperApprox(java.lang.String role, Concept c) Gets a new tight upper fuzzy rough concept.
java.lang.String	toString()
static Concept	upperApprox(java.lang.String role, Concept c) Gets a new upper fuzzy rough concept.
static Concept	weightedConcept(double w, Concept c) Gets a new weighted concept.
static Concept	z_implies(Concept c1, Concept c2) Gets a new implication concept under Zadeh semantics.

Methods inherited from class java.lang.Object

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

Field Detail

c1

public Concept c1

In some complex concepts, it is a simpler concept.

c2

public Concept c2

In some complex (binary) concepts, it is a simpler concept.

type

protected int type

Type of the concept

ATOMIC

public static final int ATOMIC

Atomic concept.

See Also:

Constant Field Values

AND

public static final int AND

Conjunction.

See Also:

Constant Field Values

OR

public static final int OR

Disjunction.

See Also:

Constant Field Values

COMPLEMENT

public static final int COMPLEMENT

Complement.

See Also:

Constant Field Values

SOME

public static final int SOME

Existential restriction.

See Also:

Constant Field Values

ALL

public static final int ALL

Universal restriction.

See Also:

Constant Field Values

TOP

public static final int TOP

Top concept.

See Also:

Constant Field Values

BOTTOM

public static final int BOTTOM

Bottom concept.

See Also:

Constant Field Values

AT_MOST_VALUE

public static final int AT_MOST_VALUE

At most datatype restriction.

See Also:

Constant Field Values

AT_LEAST_VALUE

public static final int AT_LEAST_VALUE

At least datatype restriction.

See Also:

Constant Field Values

EXACT_VALUE

public static final int EXACT_VALUE

Exact datatype restriction.

See Also:

Constant Field Values

NOT_AT_MOST_VALUE

public static final int NOT_AT_MOST_VALUE

Negated at most datatype restriction.

See Also:

Constant Field Values

NOT_AT_LEAST_VALUE

public static final int NOT_AT_LEAST_VALUE

Negated at least datatype restriction.

See Also:

Constant Field Values

NOT_EXACT_VALUE

public static final int NOT_EXACT_VALUE

Negated exact datatype restriction.

See Also:

Constant Field Values

G_AND

public static final int G_AND

Goedel conjunction.

See Also:

Constant Field Values

G_OR

public static final int G_OR

Goedel disjunction.

See Also:

Constant Field Values

L_AND

public static final int L_AND

Lukasiewicz conjunction.

See Also:

Constant Field Values

L_OR

public static final int L_OR

Lukasiewicz disjunction.

See Also:

Constant Field Values

G_IMPLIES

public static final int G_IMPLIES

Goedel implication.

See Also:

Constant Field Values

NOT_G_IMPLIES

public static final int NOT_G_IMPLIES

Negated Goedel implication.

See Also:

Constant Field Values

WEIGHTED

public static final int WEIGHTED

Weighted concept.

See Also:

Constant Field Values

NOT_WEIGHTED

public static final int NOT_WEIGHTED

Negated weighted concept.

See Also:

Constant Field Values

W_SUM

public static final int W_SUM

Weighted sum.

See Also:

Constant Field Values

NOT_W_SUM

public static final int NOT_W_SUM

Negated weighted sum.

See Also:

Constant Field Values

POS_THRESHOLD

public static final int POS_THRESHOLD

Positive threshold.

See Also:

Constant Field Values

NOT_POS_THRESHOLD

public static final int NOT_POS_THRESHOLD

Negated positive threshold.

See Also:

Constant Field Values

NEG_THRESHOLD

public static final int NEG_THRESHOLD

Negative threshold.

See Also:

Constant Field Values

NOT_NEG_THRESHOLD

public static final int NOT_NEG_THRESHOLD

Negated negative threshold.

See Also:

Constant Field Values

EXT_POS_THRESHOLD

public static final int EXT_POS_THRESHOLD

Extended positive threshold.

See Also:

Constant Field Values

NOT_EXT_POS_THRESHOLD

public static final int NOT_EXT_POS_THRESHOLD

Extended negated positive threshold.

See Also:

Constant Field Values

EXT_NEG_THRESHOLD

public static final int EXT_NEG_THRESHOLD

Extended negative threshold.

See Also:

Constant Field Values

NOT_EXT_NEG_THRESHOLD

public static final int NOT_EXT_NEG_THRESHOLD

Extended negated negative threshold.

See Also:

Constant Field Values

CONCRETE

public static final int CONCRETE

Concrete concept.

See Also:

Constant Field Values

CONCRETE_COMPLEMENT

public static final int CONCRETE_COMPLEMENT

Negated concrete concept.

See Also:

Constant Field Values

MODIFIED

public static final int MODIFIED

Modified concept.

See Also:

Constant Field Values

MODIFIED_COMPLEMENT

public static final int MODIFIED_COMPLEMENT

Negated modified concept.

See Also:

Constant Field Values

SELF

public static final int SELF

Self reflexivity concept.

See Also:

Constant Field Values

UPPER_APPROX

public static final int UPPER_APPROX

Upper fuzzy rough concept.

See Also:

Constant Field Values

LOWER_APPROX

public static final int LOWER_APPROX

Lower fuzzy rough concept.

See Also:

Constant Field Values

FUZZY_NUMBER

public static final int FUZZY_NUMBER

Fuzzy number.

See Also:

Constant Field Values

FUZZY_NUMBER_COMPLEMENT

public static final int FUZZY_NUMBER_COMPLEMENT

Negated fuzzy number.

See Also:

Constant Field Values

TIGHT_UPPER_APPROX

public static final int TIGHT_UPPER_APPROX

Tight upper fuzzy rough concept.

See Also:

Constant Field Values

TIGHT_LOWER_APPROX

public static final int TIGHT_LOWER_APPROX

Tight lower fuzzy rough concept.

See Also:

Constant Field Values

LOOSE_UPPER_APPROX

public static final int LOOSE_UPPER_APPROX

Loose upper fuzzy rough concept.

See Also:

Constant Field Values

LOOSE_LOWER_APPROX

public static final int LOOSE_LOWER_APPROX

Loose lower fuzzy rough concept.

See Also:

Constant Field Values

CONCEPT_TOP

public static final Concept CONCEPT_TOP

Gets a top concept.

CONCEPT_BOTTOM

public static final Concept CONCEPT_BOTTOM

Gets a bottom concept.

Constructor Detail

Concept

public Concept(java.lang.String name)

Concept

public Concept(int type,
               Concept c1,
               Concept c2,
               java.lang.String name)

Concept

public Concept(int type,
               java.lang.String role)

Concept

public Concept(int type,
               java.lang.String role,
               Concept c)

Concept

public Concept(int type,
               double w,
               Concept c)

Concept

public Concept(int type,
               Variable w,
               Concept c)

Concept

public Concept(java.lang.String name,
               int type)

Concept

public Concept(int type,
               java.lang.String role,
               java.lang.Object value)

Method Detail

newAtomicConcept

public static Concept newAtomicConcept()

Gets a new atomic concept.

and

public static Concept and(Concept c1,
                          Concept c2)

Gets a new conjunction concept.

and

public static Concept and(java.util.Vector<Concept> v)

Gets a new conjunction concept.

g_and

public static Concept g_and(Concept c1,
                            Concept c2)

Gets a new Goedel conjunction concept.

g_and

public static Concept g_and(java.util.HashSet<Concept> c)

Gets a new Goedel conjunction concept.

g_and

public static Concept g_and(java.util.Vector<Concept> v)

Gets a new conjunction concept.

l_and

public static Concept l_and(Concept c1,
                            Concept c2)

Gets a new Lukasiewicz conjunction concept.

l_and

public static Concept l_and(java.util.Vector<Concept> v)

Gets a new conjunction concept.

or

public static Concept or(Concept c1,
                         Concept c2)

Gets a new disjunction concept.

or

public static Concept or(java.util.Vector<Concept> v)

Gets a new disjunction concept.

g_or

public static Concept g_or(Concept c1,
                           Concept c2)

Gets a new Goedel disjunction concept.

g_or

public static Concept g_or(java.util.Vector<Concept> v)

Gets a new disjunction concept.

l_or

public static Concept l_or(Concept c1,
                           Concept c2)

Gets a new Lukasiewicz disjunction concept.

l_or

public static Concept l_or(java.util.Vector<Concept> v)

Gets a new disjunction concept.

l_implies

public static Concept l_implies(Concept c1,
                                Concept c2)

Gets a new Lukasiewicz implication concept.

kd_implies

public static Concept kd_implies(Concept c1,
                                 Concept c2)

Gets a new Kleene-Dienes implication concept.

g_implies

public static Concept g_implies(Concept c1,
                                Concept c2)

Gets a new Goedel implication concept.

z_implies

public static Concept z_implies(Concept c1,
                                Concept c2)

Gets a new implication concept under Zadeh semantics.

some

public static Concept some(java.lang.String role,
                           Concept c)

Gets a new existential restriction concept.

all

public static Concept all(java.lang.String role,
                          Concept c)

Gets a new universal restriction concept.

self

public static Concept self(java.lang.String role)

Gets a new local reflexivity concept.

upperApprox

public static Concept upperApprox(java.lang.String role,
                                  Concept c)

Gets a new upper fuzzy rough concept.

lowerApprox

public static Concept lowerApprox(java.lang.String role,
                                  Concept c)

Gets a new lower fuzzy rough concept.

tightUpperApprox

public static Concept tightUpperApprox(java.lang.String role,
                                       Concept c)

Gets a new tight upper fuzzy rough concept.

tightLowerApprox

public static Concept tightLowerApprox(java.lang.String role,
                                       Concept c)

Gets a new tight lower fuzzy rough concept.

looseUpperApprox

public static Concept looseUpperApprox(java.lang.String role,
                                       Concept c)

Gets a new loose upper fuzzy rough concept.

looseLowerApprox

public static Concept looseLowerApprox(java.lang.String role,
                                       Concept c)

Gets a new loose lower fuzzy rough concept.

atMostValue

public static Concept atMostValue(java.lang.String role,
                                  java.lang.Object o)

Gets a new at-most datatype restriction concept.

atLeastValue

public static Concept atLeastValue(java.lang.String role,
                                   java.lang.Object o)

Gets a new at-least datatype restriction concept.

exactValue

public static Concept exactValue(java.lang.String role,
                                 java.lang.Object o)

Gets a new exact datatype restriction concept.

weightedConcept

public static Concept weightedConcept(double w,
                                      Concept c)

Gets a new weighted concept.

posThreshold

public static Concept posThreshold(double w,
                                   Concept c)

Gets a new positive threshold concept.

negThreshold

public static Concept negThreshold(double w,
                                   Concept c)

Gets a new negative threshold concept.

extendedPosThreshold

public static Concept extendedPosThreshold(Variable w,
                                           Concept c)

Gets a new extended positive threshold concept.

extendedNegThreshold

public static Concept extendedNegThreshold(Variable w,
                                           Concept c)

Gets a new extended negative threshold concept.

complement

public static Concept complement(Concept c)

Gets the complement of the concept.

Returns:

Complement of the concept.

getFuzzydlName

public java.lang.String getFuzzydlName()

Gets a String name in fuzzy DL syntax.

Returns:

Name in fuzzy DL syntax.

getName

public java.lang.String getName()

Gets the name of the concept.

Returns:

Name of the concept.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setName

public void setName(java.lang.String newName)

Sets the name of the concept.

Parameters:

newName - Name of the concept.

getType

public int getType()

Gets the type of the concept.

Returns:

Type of the concept.

getRole

public java.lang.String getRole()

Gets the role attribute.

Returns:

Role.

getValue

public java.lang.Object getValue()

Gets the value attribute.

Returns:

Value.

setValue

public void setValue(java.lang.Object newValue)

Sets the value attribute.

Parameters:

newValue - Value.

setType

public void setType(int type)

Gets the type of the concept.

Parameters:

type - Type of the concept.

getWeight

public double getWeight()

Gets the weight attribute.

Returns:

Weight.

getWeightVar

public Variable getWeightVar()

Gets the weight variable;

Returns:

Weight variable.

isConcrete

public boolean isConcrete()

Checks if the concept is concrete (types CONCRETE, CONCRETE_COMPLEMENT, FUZZY_NUMBER or FUZZY_NUMBER_COMPLEMENT)

Returns:

true if the concepts is concrete; false otherwise.

getAtomicConcepts

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

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

Returns:

A HashSet of instances of the class Concept.