public class Concept
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
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.
|
static int |
CHOQUET_INTEGRAL
Choquet integral.
|
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_CHOQUET_INTEGRAL
Negated Choquet integral.
|
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_OWA
Negated OWA concept.
|
static int |
NOT_POS_THRESHOLD
Negated positive threshold.
|
static int |
NOT_QUANTIFIED_OWA
Negated quantifier-guided OWA concept.
|
static int |
NOT_QUASI_SUGENO_INTEGRAL
Negated quasi-Sugeno integral.
|
static int |
NOT_SUGENO_INTEGRAL
Negated Sugeno integral.
|
static int |
NOT_W_MAX
Negated weighted maximum.
|
static int |
NOT_W_MIN
Negated weighted minimum.
|
static int |
NOT_W_SUM
Negated weighted sum.
|
static int |
NOT_W_SUM_ZERO
Negated weighted sum.
|
static int |
NOT_WEIGHTED
Negated weighted concept.
|
static int |
OR
Disjunction.
|
static int |
OWA
OWA concept.
|
static int |
POS_THRESHOLD
Positive threshold.
|
static int |
QUANTIFIED_OWA
Quantifier-guided OWA concept.
|
static int |
QUASI_SUGENO_INTEGRAL
Quasi-Sugeno integral.
|
static int |
SELF
Self reflexivity concept.
|
static int |
SOME
Existential restriction.
|
static int |
SUGENO_INTEGRAL
Sugeno integral.
|
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.
|
static int |
UPPER_APPROX
Upper fuzzy rough concept.
|
static int |
W_MAX
Weighted maximum.
|
static int |
W_MIN
Weighted minimum.
|
static int |
W_SUM
Weighted sum.
|
static int |
W_SUM_ZERO
Weighted sum.
|
static int |
WEIGHTED
Weighted concept.
|
Constructor and Description |
---|
Concept(java.lang.String name)
Atomic concept constructor.
|
Modifier and Type | Method and Description |
---|---|
static Concept |
all(java.lang.String role,
Concept c)
Gets a new universal restriction concept.
|
static Concept |
and(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
and(Concept c1,
Concept c2)
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 |
gAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
gAnd(Concept c1,
Concept c2)
Gets a new Goedel conjunction 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;
|
static Concept |
gImplies(Concept c1,
Concept c2)
Gets a new Goedel implication concept.
|
static Concept |
gOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
gOr(Concept c1,
Concept c2)
Gets a new Goedel disjunction concept.
|
boolean |
isAtomic()
Checks if the concept is atomic.
|
boolean |
isComplementedAtomic()
Checks if the concept is complemented atomic.
|
boolean |
isConcrete()
Checks if the concept is concrete (types CONCRETE, CONCRETE_COMPLEMENT, FUZZY_NUMBER or FUZZY_NUMBER_COMPLEMENT)
|
static Concept |
kdImplies(Concept c1,
Concept c2)
Gets a new Kleene-Dienes implication concept.
|
static Concept |
lAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
lAnd(Concept c1,
Concept c2)
Gets a new Lukasiewicz conjunction concept.
|
static Concept |
lImplies(Concept c1,
Concept c2)
Gets a new Lukasiewicz implication 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 |
lOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
lOr(Concept c1,
Concept c2)
Gets a new Lukasiewicz disjunction concept.
|
static Concept |
lowerApprox(java.lang.String role,
Concept c)
Gets a new lower fuzzy rough concept.
|
static Concept |
nAry(int type,
java.util.ArrayList<Concept> v)
Gets a new disjunction 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(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
or(Concept c1,
Concept c2)
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)
Sets 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()
Gets a printable name of the concept.
|
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 |
zImplies(Concept c1,
Concept c2)
Gets a new implication concept under Zadeh semantics.
|
public static final int AND
public static final int G_AND
public static final int L_AND
public static final int OR
public static final int G_OR
public static final int L_OR
public static final int SOME
public static final int ALL
public static final int UPPER_APPROX
public static final int LOWER_APPROX
public static final int FUZZY_NUMBER_COMPLEMENT
public static final int TIGHT_UPPER_APPROX
public static final int TIGHT_LOWER_APPROX
public static final int LOOSE_UPPER_APPROX
public static final int LOOSE_LOWER_APPROX
public static final int G_IMPLIES
public static final int NOT_G_IMPLIES
public static final int ATOMIC
public static final int COMPLEMENT
public static final int TOP
public static final int BOTTOM
public static final int AT_MOST_VALUE
public static final int AT_LEAST_VALUE
public static final int EXACT_VALUE
public static final int NOT_AT_MOST_VALUE
public static final int NOT_AT_LEAST_VALUE
public static final int NOT_EXACT_VALUE
public static final int WEIGHTED
public static final int NOT_WEIGHTED
public static final int W_SUM
public static final int NOT_W_SUM
public static final int POS_THRESHOLD
public static final int NOT_POS_THRESHOLD
public static final int NEG_THRESHOLD
public static final int NOT_NEG_THRESHOLD
public static final int EXT_POS_THRESHOLD
public static final int NOT_EXT_POS_THRESHOLD
public static final int EXT_NEG_THRESHOLD
public static final int NOT_EXT_NEG_THRESHOLD
public static final int CONCRETE
public static final int CONCRETE_COMPLEMENT
public static final int MODIFIED
public static final int MODIFIED_COMPLEMENT
public static final int SELF
public static final int FUZZY_NUMBER
public static final int OWA
public static final int QUANTIFIED_OWA
public static final int NOT_OWA
public static final int NOT_QUANTIFIED_OWA
public static final int CHOQUET_INTEGRAL
public static final int SUGENO_INTEGRAL
public static final int QUASI_SUGENO_INTEGRAL
public static final int NOT_CHOQUET_INTEGRAL
public static final int NOT_SUGENO_INTEGRAL
public static final int NOT_QUASI_SUGENO_INTEGRAL
public static final int W_MAX
public static final int NOT_W_MAX
public static final int W_MIN
public static final int NOT_W_MIN
public static final int W_SUM_ZERO
public static final int NOT_W_SUM_ZERO
public static final Concept CONCEPT_TOP
public static final Concept CONCEPT_BOTTOM
public Concept(java.lang.String name)
name
- Name of the atomic conceptpublic static Concept newAtomicConcept()
public static Concept nAry(int type, java.util.ArrayList<Concept> v)
public static Concept lImplies(Concept c1, Concept c2)
public static Concept kdImplies(Concept c1, Concept c2)
public static Concept gImplies(Concept c1, Concept c2)
public static Concept zImplies(Concept c1, Concept c2)
public static Concept some(java.lang.String role, Concept c)
public static Concept all(java.lang.String role, Concept c)
public static Concept self(java.lang.String role)
public static Concept upperApprox(java.lang.String role, Concept c)
public static Concept lowerApprox(java.lang.String role, Concept c)
public static Concept tightUpperApprox(java.lang.String role, Concept c)
public static Concept tightLowerApprox(java.lang.String role, Concept c)
public static Concept looseUpperApprox(java.lang.String role, Concept c)
public static Concept looseLowerApprox(java.lang.String role, Concept c)
public static Concept atMostValue(java.lang.String role, java.lang.Object o)
public static Concept atLeastValue(java.lang.String role, java.lang.Object o)
public static Concept exactValue(java.lang.String role, java.lang.Object o)
public static Concept weightedConcept(double w, Concept c)
public static Concept posThreshold(double w, Concept c)
public static Concept negThreshold(double w, Concept c)
public static Concept extendedPosThreshold(Variable w, Concept c)
public static Concept extendedNegThreshold(Variable w, Concept c)
public static Concept complement(Concept c)
public java.lang.String toString()
toString
in class java.lang.Object
public void setName(java.lang.String newName)
newName
- Name of the concept.public int getType()
public java.lang.String getRole()
public java.lang.Object getValue()
public void setValue(java.lang.Object newValue)
newValue
- Value.public void setType(int type)
type
- Type of the concept.public double getWeight()
public Variable getWeightVar()
public boolean isConcrete()
public boolean isAtomic()
public boolean isComplementedAtomic()