Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp | |
fuzzydl.util |
Modifier and Type | Class and Description |
---|---|
class |
ChoquetIntegral
Choquet integral concept.
|
class |
CrispConcreteConcept
Concrete concept defined with a crisp interval.
|
class |
FuzzyConcreteConcept
Fuzzy concrete concept defined with an explicit membership function.
|
class |
LeftConcreteConcept
Fuzzy concrete concept defined with a left shoulder function.
|
class |
LinearConcreteConcept
Fuzzy concrete concept defined with a left shoulder function.
|
class |
LinearlyModifiedConcept
Fuzzy concept modified with a linear modifier.
|
class |
ModifiedConcept
Modified fuzzy concept.
|
class |
ModifiedConcreteConcept
Concrete concept defined with a crisp interval.
|
class |
OwaConcept
OWA concept.
|
class |
QowaConcept
Quantified-guided OWA concept.
|
class |
QsugenoIntegral
Quasi Sugeno integral concept.
|
class |
RightConcreteConcept
Fuzzy concrete concept defined with a right shoulder function.
|
class |
SugenoIntegral
Sugeno integral concept.
|
class |
TrapezoidalConcreteConcept
Fuzzy concrete concept defined with a trapezoidal function.
|
class |
TriangularConcreteConcept
Fuzzy concrete concept defined with a triangular function.
|
class |
TriangularFuzzyNumber
Fuzzy number defined with a triangular function.
|
class |
TriangularlyModifiedConcept
Fuzzy concept modified with a triangular modifier.
|
class |
WeightedMaxConcept
Weighted sum concept.
|
class |
WeightedMinConcept
Weighted sum concept.
|
class |
WeightedSumConcept
Weighted sum concept.
|
class |
WeightedSumZeroConcept
Weighted sum zero concept.
|
Modifier and Type | Field and Description |
---|---|
static Concept |
Concept.CONCEPT_BOTTOM
Gets a bottom concept.
|
static Concept |
Concept.CONCEPT_TOP
Gets a top concept.
|
Modifier and Type | Field and Description |
---|---|
java.util.Hashtable<java.lang.String,Concept> |
KnowledgeBase.atomicConcepts
Fuzzy concepts.
|
Modifier and Type | Method and Description |
---|---|
Concept |
KnowledgeBase.addDatatypeRestriction(int restrictionType,
java.lang.Object o,
java.lang.String fName)
Adds a datatype restriction of the form (restrictionType, fName, o).
|
static Concept |
Concept.all(java.lang.String role,
Concept c)
Gets a new universal restriction concept.
|
static Concept |
Concept.and(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.and(Concept c1,
Concept c2)
Gets a new conjunction concept.
|
static Concept |
Concept.atLeastValue(java.lang.String role,
java.lang.Object o)
Gets a new at-least datatype restriction concept.
|
static Concept |
Concept.atMostValue(java.lang.String role,
java.lang.Object o)
Gets a new at-most datatype restriction concept.
|
Concept |
WeightedSumZeroConcept.complement()
Gets the complement of the concept.
|
Concept |
WeightedSumConcept.complement()
Gets the complement of the concept.
|
Concept |
WeightedMinConcept.complement()
Gets the complement of the concept.
|
Concept |
WeightedMaxConcept.complement()
Gets the complement of the concept.
|
Concept |
TriangularlyModifiedConcept.complement() |
Concept |
TriangularFuzzyNumber.complement() |
Concept |
TriangularConcreteConcept.complement() |
Concept |
TrapezoidalConcreteConcept.complement() |
Concept |
SugenoIntegral.complement()
Gets the complement of the concept.
|
Concept |
RightConcreteConcept.complement() |
Concept |
QsugenoIntegral.complement()
Gets the complement of the concept.
|
Concept |
QowaConcept.complement()
Gets the complement of the concept.
|
Concept |
OwaConcept.complement()
Gets the complement of the concept.
|
Concept |
ModifiedConcreteConcept.complement() |
abstract Concept |
ModifiedConcept.complement()
Gets the complement of the concept.
|
Concept |
LinearlyModifiedConcept.complement() |
Concept |
LinearConcreteConcept.complement() |
Concept |
LeftConcreteConcept.complement() |
abstract Concept |
FuzzyConcreteConcept.complement()
Gets the complement of the concept.
|
Concept |
CrispConcreteConcept.complement() |
Concept |
ChoquetIntegral.complement()
Gets the complement of the concept.
|
static Concept |
Concept.complement(Concept c)
Gets the complement of the concept.
|
static Concept |
Concept.exactValue(java.lang.String role,
java.lang.Object o)
Gets a new exact datatype restriction concept.
|
static Concept |
Concept.extendedNegThreshold(Variable w,
Concept c)
Gets a new extended negative threshold concept.
|
static Concept |
Concept.extendedPosThreshold(Variable w,
Concept c)
Gets a new extended positive threshold concept.
|
static Concept |
Concept.gAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.gAnd(Concept c1,
Concept c2)
Gets a new Goedel conjunction concept.
|
Concept |
ConceptEquivalence.getC1()
Gets the first concept.
|
Concept |
ConceptEquivalence.getC2()
Gets the second concept.
|
Concept |
Restriction.getConcept()
Gets the fuzzy concept.
|
Concept |
Assertion.getConcept()
Gets the concept.
|
Concept |
KnowledgeBase.getConcept(java.lang.String name)
Gets a concept with indicated name.
|
Concept |
PrimitiveConceptDefinition.getDefinition()
Gets the definition.
|
Concept |
GeneralConceptInclusion.getSubsumed()
Gets the subsumed concept.
|
Concept |
GeneralConceptInclusion.getSubsumer()
Gets the subsumer concept.
|
static Concept |
Concept.gImplies(Concept c1,
Concept c2)
Gets a new Goedel implication concept.
|
static Concept |
Concept.gOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.gOr(Concept c1,
Concept c2)
Gets a new Goedel disjunction concept.
|
static Concept |
Concept.kdImplies(Concept c1,
Concept c2)
Gets a new Kleene-Dienes implication concept.
|
static Concept |
Concept.lAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.lAnd(Concept c1,
Concept c2)
Gets a new Lukasiewicz conjunction concept.
|
static Concept |
Concept.lImplies(Concept c1,
Concept c2)
Gets a new Lukasiewicz implication concept.
|
static Concept |
Concept.looseLowerApprox(java.lang.String role,
Concept c)
Gets a new loose lower fuzzy rough concept.
|
static Concept |
Concept.looseUpperApprox(java.lang.String role,
Concept c)
Gets a new loose upper fuzzy rough concept.
|
static Concept |
Concept.lOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.lOr(Concept c1,
Concept c2)
Gets a new Lukasiewicz disjunction concept.
|
static Concept |
Concept.lowerApprox(java.lang.String role,
Concept c)
Gets a new lower fuzzy rough concept.
|
Concept |
TriangularModifier.modify(Concept c) |
abstract Concept |
Modifier.modify(Concept c)
Modifies a fuzzy concept
|
Concept |
LinearModifier.modify(Concept c) |
static Concept |
Concept.nAry(int type,
java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.negThreshold(double w,
Concept c)
Gets a new negative threshold concept.
|
static Concept |
Concept.newAtomicConcept()
Gets a new atomic concept.
|
static Concept |
Concept.or(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.or(Concept c1,
Concept c2)
Gets a new disjunction concept.
|
static Concept |
Concept.posThreshold(double w,
Concept c)
Gets a new positive threshold concept.
|
static Concept |
Concept.self(java.lang.String role)
Gets a new local reflexivity concept.
|
static Concept |
Concept.some(java.lang.String role,
Concept c)
Gets a new existential restriction concept.
|
static Concept |
Concept.tightLowerApprox(java.lang.String role,
Concept c)
Gets a new tight lower fuzzy rough concept.
|
static Concept |
Concept.tightUpperApprox(java.lang.String role,
Concept c)
Gets a new tight upper fuzzy rough concept.
|
static Concept |
Concept.upperApprox(java.lang.String role,
Concept c)
Gets a new upper fuzzy rough concept.
|
static Concept |
Concept.weightedConcept(double w,
Concept c)
Gets a new weighted concept.
|
static Concept |
Concept.zImplies(Concept c1,
Concept c2)
Gets a new implication concept under Zadeh semantics.
|
Modifier and Type | Method and Description |
---|---|
java.util.HashSet<Concept> |
WeightedSumZeroConcept.getAtomicConcepts() |
java.util.HashSet<Concept> |
WeightedSumConcept.getAtomicConcepts() |
java.util.HashSet<Concept> |
WeightedMinConcept.getAtomicConcepts() |
java.util.HashSet<Concept> |
WeightedMaxConcept.getAtomicConcepts() |
java.util.HashSet<Concept> |
SugenoIntegral.getAtomicConcepts() |
java.util.HashSet<Concept> |
OwaConcept.getAtomicConcepts() |
java.util.HashSet<Concept> |
ChoquetIntegral.getAtomicConcepts() |
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.addAssertion(Individual a,
Concept c,
Degree n)
Adds a fuzzy assertion of the form (a : C >= n )
|
static Concept |
Concept.all(java.lang.String role,
Concept c)
Gets a new universal restriction concept.
|
static Concept |
Concept.and(Concept c1,
Concept c2)
Gets a new conjunction concept.
|
void |
KnowledgeBase.checkRole(java.lang.String roleName,
Concept conc)
Checks the disjointness between abstract and concrete roles.
|
static Concept |
Concept.complement(Concept c)
Gets the complement of the concept.
|
void |
KnowledgeBase.defineAtomicConcept(java.lang.String conceptName,
Concept conc,
int implication,
double n)
Adds an atomic fuzzy concept definition.
|
void |
KnowledgeBase.defineConcept(java.lang.String conceptName,
Concept conc)
Adds a fuzzy concept definition.
|
void |
KnowledgeBase.defineEquivalentConcepts(Concept conc1,
Concept conc2)
Adds a concept equivalence axiom.
|
static Concept |
Concept.extendedNegThreshold(Variable w,
Concept c)
Gets a new extended negative threshold concept.
|
static Concept |
Concept.extendedPosThreshold(Variable w,
Concept c)
Gets a new extended positive threshold concept.
|
static Concept |
Concept.gAnd(Concept c1,
Concept c2)
Gets a new Goedel conjunction concept.
|
static Concept |
Concept.gImplies(Concept c1,
Concept c2)
Gets a new Goedel implication concept.
|
void |
KnowledgeBase.gImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Goedel General Concept Inclusion.
|
static Concept |
Concept.gOr(Concept c1,
Concept c2)
Gets a new Goedel disjunction concept.
|
void |
KnowledgeBase.implies(Concept conc1,
Concept conc2,
Degree degree)
Adds a General Concept Inclusion (conc1, conc2, degree)
|
static Concept |
Concept.kdImplies(Concept c1,
Concept c2)
Gets a new Kleene-Dienes implication concept.
|
void |
KnowledgeBase.kdImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Kleene-Dienes General Concept Inclusion.
|
static Concept |
Concept.lAnd(Concept c1,
Concept c2)
Gets a new Lukasiewicz conjunction concept.
|
static Concept |
Concept.lImplies(Concept c1,
Concept c2)
Gets a new Lukasiewicz implication concept.
|
void |
KnowledgeBase.lImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Lukasiewicz General Concept Inclusion.
|
static Concept |
Concept.looseLowerApprox(java.lang.String role,
Concept c)
Gets a new loose lower fuzzy rough concept.
|
static Concept |
Concept.looseUpperApprox(java.lang.String role,
Concept c)
Gets a new loose upper fuzzy rough concept.
|
static Concept |
Concept.lOr(Concept c1,
Concept c2)
Gets a new Lukasiewicz disjunction concept.
|
static Concept |
Concept.lowerApprox(java.lang.String role,
Concept c)
Gets a new lower fuzzy rough concept.
|
Concept |
TriangularModifier.modify(Concept c) |
abstract Concept |
Modifier.modify(Concept c)
Modifies a fuzzy concept
|
Concept |
LinearModifier.modify(Concept c) |
static Concept |
Concept.negThreshold(double w,
Concept c)
Gets a new negative threshold concept.
|
static Concept |
Concept.or(Concept c1,
Concept c2)
Gets a new disjunction concept.
|
static Concept |
Concept.posThreshold(double w,
Concept c)
Gets a new positive threshold concept.
|
void |
KnowledgeBase.roleDomain(java.lang.String role,
Concept conc)
Adds a domain funcRole axiom.
|
void |
KnowledgeBase.roleRange(java.lang.String role,
Concept conc)
Adds a funcRole range axiom.
|
void |
KnowledgeBase.setCrispConcept(Concept c)
Defines a concept to be crisp.
|
void |
PrimitiveConceptDefinition.setDefinition(Concept definition)
Sets the definition.
|
void |
TriangularModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
abstract void |
Modifier.solveAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
LinearModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
void |
Modifier.solveComplementAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
static Concept |
Concept.some(java.lang.String role,
Concept c)
Gets a new existential restriction concept.
|
static Concept |
Concept.tightLowerApprox(java.lang.String role,
Concept c)
Gets a new tight lower fuzzy rough concept.
|
static Concept |
Concept.tightUpperApprox(java.lang.String role,
Concept c)
Gets a new tight upper fuzzy rough concept.
|
static Concept |
Concept.upperApprox(java.lang.String role,
Concept c)
Gets a new upper fuzzy rough concept.
|
static Concept |
Concept.weightedConcept(double w,
Concept c)
Gets a new weighted concept.
|
void |
KnowledgeBase.zImplies(Concept conc1,
Concept conc2)
Adds a Zadeh General Concept Inclusion.
|
static Concept |
Concept.zImplies(Concept c1,
Concept c2)
Gets a new implication concept under Zadeh semantics.
|
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.addEquivalentConcepts(java.util.ArrayList<Concept> equivConcepts)
Adds some equivalent concept axioms.
|
static Concept |
Concept.and(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.gAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.gOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.lAnd(java.util.ArrayList<Concept> v)
Gets a new conjunction concept.
|
static Concept |
Concept.lOr(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.nAry(int type,
java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
static Concept |
Concept.or(java.util.ArrayList<Concept> v)
Gets a new disjunction concept.
|
Constructor and Description |
---|
AllInstancesQuery(Concept concept) |
Assertion(Individual a,
Concept c,
Degree l) |
AtomicAssertion(Concept c,
Degree degree) |
ConceptEquivalence(Concept c1,
Concept c2) |
DefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
DomainAxiom(java.lang.String role,
Concept concept) |
GeneralConceptInclusion(Concept subsumer,
Concept subsumed,
Degree degree,
int type) |
InstanceQuery(Concept concept,
Individual individual) |
Label(Concept concept,
Degree weight) |
LinearlyModifiedConcept(Concept c,
Modifier mod) |
LomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
MaxInstanceQuery(Concept concept,
Individual individual) |
MaxSatisfiableQuery(Concept c)
Constructor for a general satisfiability query.
|
MaxSatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
MaxSubsumesQuery(Concept c1,
Concept c2,
int type) |
MinInstanceQuery(Concept concept,
Individual individual) |
MinSatisfiableQuery(Concept c)
Constructor for a general satisfiability query.
|
MinSatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
MinSubsumesQuery(Concept c1,
Concept c2,
int type) |
ModifiedConcept(Concept c,
Modifier mod) |
MomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
PrimitiveConceptDefinition(java.lang.String defined,
Concept definition,
int implication,
double degree) |
RangeAxiom(java.lang.String role,
Concept concept) |
Restriction(java.lang.String roleName,
Concept concept,
Degree degree) |
SatisfiableQuery(Concept c)
Constructor for a general satisfiability query.
|
SatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
SomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String fName) |
SubsumptionQuery(Concept c1,
Concept c2,
int type) |
TriangularlyModifiedConcept(Concept c,
Modifier mod) |
Constructor and Description |
---|
ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
OwaConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
QowaConcept(FuzzyConcreteConcept quantifier,
java.util.ArrayList<Concept> concepts) |
QsugenoIntegral(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
SugenoIntegral(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
WeightedMinConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
WeightedSumConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
WeightedSumZeroConcept(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
Modifier and Type | Method and Description |
---|---|
Variable |
MILPHelper.getVariable(Individual ind,
Concept c)
Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Modifier and Type | Method and Description |
---|---|
static void |
Util.order(java.util.ArrayList<Concept> v)
Order a vector of concepts.
|