Uses of Class
fuzzydl.KnowledgeBase

Packages that use KnowledgeBase

fuzzydl
fuzzydl.parser

Uses of KnowledgeBase in fuzzydl

Methods in fuzzydl that return KnowledgeBase

KnowledgeBase

KnowledgeBase.clone()

Methods in fuzzydl with parameters of type KnowledgeBase

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 negated at-least value assertion, with respect to a fuzzy KB.
static void	DatatypeReasoner.applyNotAtMostValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy negated at-most value assertion, with respect to a fuzzy KB.
static void	DatatypeReasoner.applyNotExactValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy negated exact value assertion, with respect to a fuzzy KB.
static void	ClassicalSolver.decompose(Assertion ass, KnowledgeBase kb) Decompose a fuzzy assertion, applying the right method to solve it.
static void	LukasiewiczSolver.decompose(Assertion ass, KnowledgeBase kb) Decompose a fuzzy assertion, applying the right method to solve it.
static void	ZadehSolver.decompose(Assertion ass, KnowledgeBase kb) Decompose a fuzzy assertion, applying the right method to solve it.
boolean	CreatedIndividual.isBlocked(KnowledgeBase kb) Gets if the individual is blocked with respect to a fuzzy KB.
boolean	CreatedIndividual.isIndirectlyBlocked(KnowledgeBase kb) Gets if the individual is indirectly blocked with respect to a fuzzy KB.
void	BnpQuery.preprocess(KnowledgeBase kb)
void	DefuzzifyQuery.preprocess(KnowledgeBase kb)
void	MaxInstanceQuery.preprocess(KnowledgeBase kb)
void	MaxQuery.preprocess(KnowledgeBase kb)
void	MaxRelatedQuery.preprocess(KnowledgeBase kb)
void	MaxSatisfiableQuery.preprocess(KnowledgeBase kb)
void	MaxSubsumesQuery.preprocess(KnowledgeBase kb)
void	MinInstanceQuery.preprocess(KnowledgeBase kb)
void	MinQuery.preprocess(KnowledgeBase kb)
void	MinRelatedQuery.preprocess(KnowledgeBase kb)
void	MinSatisfiableQuery.preprocess(KnowledgeBase kb)
void	MinSubsumesQuery.preprocess(KnowledgeBase kb)
void	MomDefuzzifyQuery.preprocess(KnowledgeBase kb)
abstract void	Query.preprocess(KnowledgeBase kb) Performs some preprocessing steps of the query over a fuzzy KB.
Solution	BnpQuery.solve(KnowledgeBase kb)
Solution	DefuzzifyQuery.solve(KnowledgeBase kb)
Solution	MaxInstanceQuery.solve(KnowledgeBase kb)
Solution	MaxQuery.solve(KnowledgeBase kb)
Solution	MaxRelatedQuery.solve(KnowledgeBase kb)
Solution	MaxSatisfiableQuery.solve(KnowledgeBase kb)
Solution	MaxSubsumesQuery.solve(KnowledgeBase kb)
Solution	MinInstanceQuery.solve(KnowledgeBase kb)
Solution	MinQuery.solve(KnowledgeBase kb)
Solution	MinRelatedQuery.solve(KnowledgeBase kb)
Solution	MinSatisfiableQuery.solve(KnowledgeBase kb)
Solution	MinSubsumesQuery.solve(KnowledgeBase kb)
Solution	MomDefuzzifyQuery.solve(KnowledgeBase kb)
abstract Solution	Query.solve(KnowledgeBase kb) Solves the query over a fuzzy KB.
static void	ClassicalSolver.solveAll(Individual a, Relation rel, Restriction restric, KnowledgeBase kb) Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
static void	LukasiewiczSolver.solveAll(Relation rel, Restriction restric, KnowledgeBase kb) Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
static void	ZadehSolver.solveAll(Relation rel, Restriction restric, KnowledgeBase kb) Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
static void	ClassicalSolver.solveAnd(Assertion ass, KnowledgeBase kb) Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	LukasiewiczSolver.solveAnd(Assertion ass, KnowledgeBase kb) Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	ZadehSolver.solveAnd(Assertion ass, KnowledgeBase kb) Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
void	CrispConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
void	LeftConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearlyModifiedConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	ModifiedConcept.solveAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	RightConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TrapezoidalConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularlyModifiedConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	WeightedSumConcept.solveAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	CrispConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
void	LeftConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearlyModifiedConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	ModifiedConcept.solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
void	RightConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TrapezoidalConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularlyModifiedConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	WeightedSumConcept.solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
static void	ClassicalSolver.solveOr(Assertion ass, KnowledgeBase kb) Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	LukasiewiczSolver.solveOr(Assertion ass, KnowledgeBase kb) Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
static void	ZadehSolver.solveOr(Assertion ass, KnowledgeBase kb) Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
protected void	Individual.solveRelationRestriction(Relation rel, Restriction restric, KnowledgeBase kb) Apply a universal restriction to a relation of the individual.
static void	ClassicalSolver.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.
static void	ZadehSolver.solveSome(Assertion ass, KnowledgeBase kb) Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
protected void	Individual.unblock(KnowledgeBase kb) Unblock the individual.

Uses of KnowledgeBase in fuzzydl.parser

Methods in fuzzydl.parser that return KnowledgeBase

KnowledgeBase	Parser.getKB() Gets the fuzzy KB.
static KnowledgeBase	Parser.getKB(java.lang.String fileName) Creates a fuzzy KB from an external file.