Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp | |
fuzzydl.parser | |
fuzzydl.util |
Modifier and Type | Method and Description |
---|---|
static TriangularFuzzyNumber |
TriangularFuzzyNumber.add(TriangularFuzzyNumber t1,
TriangularFuzzyNumber t2)
Adds two triangular fuzzy numbers.
|
Concept |
KnowledgeBase.addDatatypeRestriction(int restrictionType,
java.lang.Object o,
java.lang.String fName)
Adds a datatype restriction of the form (restrictionType, fName, o).
|
void |
KnowledgeBase.addModifier(java.lang.String modName,
Modifier mod)
Adds a fuzzy modifier to the fuzzy KB.
|
static void |
DatatypeReasoner.applyAtLeastValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy at-least value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyAtMostValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy at-most value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyExactValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy exact value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotAtLeastValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not at-least value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotAtMostValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not at-most value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotExactValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not exact value assertion, with respect to a fuzzy KB.
|
void |
KnowledgeBase.checkRole(java.lang.String roleName,
Concept conc)
Checks the disjointness between abstract and concrete roles.
|
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 |
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() |
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.
|
void |
KnowledgeBase.defineIntegerConcreteFeature(java.lang.String funcRole,
java.lang.Integer d1,
java.lang.Integer d2)
Define a concrete feature with range integers in [d1, d2].
|
void |
KnowledgeBase.defineRealConcreteFeature(java.lang.String funcRole,
java.lang.Double d1,
java.lang.Double d2)
Define a concrete feature with range real numbers in [d1, d2].
|
void |
KnowledgeBase.defineStringConcreteFeature(java.lang.String funcRole)
Define a concrete feature with range string.
|
static TriangularFuzzyNumber |
TriangularFuzzyNumber.dividedBy(TriangularFuzzyNumber t1,
TriangularFuzzyNumber t2)
Divides two triangular fuzzy numbers.
|
boolean |
KbSatisfiableQuery.isConsistentKB(KnowledgeBase kb) |
static TriangularFuzzyNumber |
TriangularFuzzyNumber.minus(TriangularFuzzyNumber t1,
TriangularFuzzyNumber t2)
Subtracts two triangular fuzzy numbers.
|
abstract void |
Query.preprocess(KnowledgeBase kb)
Performs some preprocessing steps of the query over a fuzzy KB.
|
void |
MomDefuzzifyQuery.preprocess(KnowledgeBase kb) |
void |
MinSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MinSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
MinRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MinQuery.preprocess(KnowledgeBase kb) |
void |
MinInstanceQuery.preprocess(KnowledgeBase kb) |
void |
MaxSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MaxSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
MaxRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MaxQuery.preprocess(KnowledgeBase kb) |
void |
MaxInstanceQuery.preprocess(KnowledgeBase kb) |
void |
KbSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
DefuzzifyQuery.preprocess(KnowledgeBase kb) |
void |
AllInstancesQuery.preprocess(KnowledgeBase kb) |
void |
KnowledgeBase.saveToFile(java.lang.String fileName)
Saves a fuzzy KB into a text file.
|
abstract Solution |
Query.solve(KnowledgeBase kb)
Solves the query over a fuzzy KB.
|
Solution |
MomDefuzzifyQuery.solve(KnowledgeBase kb) |
Solution |
MinSubsumesQuery.solve(KnowledgeBase kb) |
Solution |
MinSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
MinRelatedQuery.solve(KnowledgeBase kb) |
Solution |
MinQuery.solve(KnowledgeBase kb) |
Solution |
MinInstanceQuery.solve(KnowledgeBase kb) |
Solution |
MaxSubsumesQuery.solve(KnowledgeBase kb) |
Solution |
MaxSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
MaxRelatedQuery.solve(KnowledgeBase kb) |
Solution |
MaxQuery.solve(KnowledgeBase kb) |
Solution |
MaxInstanceQuery.solve(KnowledgeBase kb) |
Solution |
KbSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
DefuzzifyQuery.solve(KnowledgeBase kb) |
Solution |
AllInstancesQuery.solve(KnowledgeBase kb) |
void |
KnowledgeBase.solveKB()
Prepares the fuzzy knowledge base to reason with it.
|
static TriangularFuzzyNumber |
TriangularFuzzyNumber.times(TriangularFuzzyNumber t1,
TriangularFuzzyNumber t2)
Multiplies two triangular fuzzy numbers.
|
Constructor and Description |
---|
AllInstancesQuery(Concept concept) |
ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
InstanceQuery(Concept concept,
Individual individual) |
KbSatisfiableQuery()
Constructor for a general satisfiability query.
|
LeftConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b) |
LeftConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b) |
LinearConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b) |
LinearConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b) |
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) |
ModifiedConcreteConcept(java.lang.String name,
int type,
Modifier modifier,
FuzzyConcreteConcept f) |
ModifiedConcreteConcept(java.lang.String name,
Modifier modifier,
FuzzyConcreteConcept f) |
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) |
RightConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b) |
RightConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b) |
SatisfiableQuery(Concept c)
Constructor for a general satisfiability query.
|
SatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
SubsumptionQuery(Concept c1,
Concept c2,
int type) |
SugenoIntegral(java.util.ArrayList<java.lang.Double> weights,
java.util.ArrayList<Concept> concepts) |
TrapezoidalConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b,
double c,
double d) |
TrapezoidalConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b,
double c,
double d) |
TriangularConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b,
double c) |
TriangularConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b,
double c) |
TriangularFuzzyNumber(double a,
double b,
double c) |
TriangularFuzzyNumber(java.lang.String name,
double a,
double b,
double c) |
TriangularFuzzyNumber(java.lang.String name,
int type,
double a,
double b,
double c) |
TriangularModifier(java.lang.String name,
double a,
double b,
double c) |
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 |
---|---|
Solution |
MILPHelper.optimize(Expression objective)
It optimizes an expression.
|
Modifier and Type | Method and Description |
---|---|
static void |
Parser.main(java.lang.String[] args)
Main program.
|
void |
Parser.Start() |
Modifier and Type | Method and Description |
---|---|
static void |
Util.error(java.lang.String message)
Prints an error message and finishes the execution of the program.
|