| Package | Description |
|---|---|
| fuzzydl | |
| fuzzydl.parser |
| Modifier and Type | Method and Description |
|---|---|
void |
KnowledgeBase.addConceptsDisjoint(java.util.ArrayList<Concept> disjointConcepts)
Adds some disjoint concept axioms.
|
void |
KnowledgeBase.addConceptsDisjoint(Concept c,
Concept d) |
void |
KnowledgeBase.addEquivalentConcepts(java.util.ArrayList<Concept> equivConcepts)
Adds some equivalent concept axioms.
|
Relation |
KnowledgeBase.addRelation(Individual indA,
java.lang.String role,
Individual indB,
Degree degree)
Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
|
void |
KnowledgeBase.defineEquivalentConcepts(Concept c1,
Concept c2)
Adds a concept equivalence axiom.
|
Individual |
KnowledgeBase.getIndividual(java.lang.String indName)
Gets an individual with the indicated name (creating it if necessary).
|
void |
KnowledgeBase.gImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Goedel General Concept Inclusion.
|
void |
KnowledgeBase.implies(Concept conc1,
Concept conc2,
Degree degree)
Adds a General Concept Inclusion (conc1, conc2, degree)
|
boolean |
CreatedIndividual.isBlocked(KnowledgeBase kb)
Gets if the individual is blocked with respect to a fuzzy KB.
|
boolean |
KbSatisfiableQuery.isConsistentKB(KnowledgeBase kb) |
boolean |
CreatedIndividual.isIndirectlyBlocked(KnowledgeBase kb)
Gets if the individual is indirectly blocked with respect to a fuzzy KB.
|
void |
KnowledgeBase.kdImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Kleene-Dienes General Concept Inclusion.
|
void |
KnowledgeBase.lImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Lukasiewicz General Concept Inclusion.
|
void |
AllInstancesQuery.preprocess(KnowledgeBase kb) |
void |
MaxSatisfiableQuery.preprocess(KnowledgeBase kb) |
abstract void |
Query.preprocess(KnowledgeBase kb)
Performs some preprocessing steps of the query over a fuzzy KB.
|
void |
MaxRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MaxInstanceQuery.preprocess(KnowledgeBase kb) |
void |
MaxSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MaxQuery.preprocess(KnowledgeBase kb) |
void |
MinSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MinRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MinSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
MinQuery.preprocess(KnowledgeBase kb) |
void |
MinInstanceQuery.preprocess(KnowledgeBase kb) |
void |
DefuzzifyQuery.preprocess(KnowledgeBase kb) |
void |
KnowledgeBase.solveAssertions()
Solves all the fuzzy assertions.
|
void |
KnowledgeBase.solveKB()
Prepares the fuzzy knowledge base to reason with it.
|
static void |
ClassicalSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ZadehSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
LukasiewiczSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
void |
KnowledgeBase.zImplies(Concept conc1,
Concept conc2)
Adds a Zadeh General Concept Inclusion.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Parser.Start() |