Uses of Class
fuzzydl.KnowledgeBase

Packages that use KnowledgeBase

Package	Description
fuzzydl
fuzzydl.parser

Uses of KnowledgeBase in fuzzydl

Methods in fuzzydl that return KnowledgeBase

Modifier and Type	Method and Description
KnowledgeBase	KnowledgeBase.clone() Gets a copy of a knowledge base.
KnowledgeBase	KnowledgeBase.cloneWithoutABox() Gets a copy of a knowledge base except the ABox.

Methods in fuzzydl with parameters of type KnowledgeBase

Modifier and Type	Method and Description
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	CreatedIndividual.markIndirectlySimpleUnChecked(KnowledgeBase kb) Marks the subtree of a node as indirectly unblocked
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	BnpQuery.preprocess(KnowledgeBase kb)
void	MomDefuzzifyQuery.preprocess(KnowledgeBase kb)
void	MinRelatedQuery.preprocess(KnowledgeBase kb)
void	KbSatisfiableQuery.preprocess(KnowledgeBase kb)
void	MinSatisfiableQuery.preprocess(KnowledgeBase kb)
void	MinQuery.preprocess(KnowledgeBase kb)
void	MinInstanceQuery.preprocess(KnowledgeBase kb)
void	DefuzzifyQuery.preprocess(KnowledgeBase kb)
Solution	AllInstancesQuery.solve(KnowledgeBase kb)
Solution	MaxSatisfiableQuery.solve(KnowledgeBase kb)
abstract Solution	Query.solve(KnowledgeBase kb) Solves the query over a fuzzy KB.
Solution	MaxRelatedQuery.solve(KnowledgeBase kb)
Solution	MaxInstanceQuery.solve(KnowledgeBase kb)
Solution	MaxSubsumesQuery.solve(KnowledgeBase kb)
Solution	MaxQuery.solve(KnowledgeBase kb)
Solution	MinSubsumesQuery.solve(KnowledgeBase kb)
Solution	BnpQuery.solve(KnowledgeBase kb)
Solution	MomDefuzzifyQuery.solve(KnowledgeBase kb)
Solution	MinRelatedQuery.solve(KnowledgeBase kb)
Solution	KbSatisfiableQuery.solve(KnowledgeBase kb)
Solution	MinSatisfiableQuery.solve(KnowledgeBase kb)
Solution	MinQuery.solve(KnowledgeBase kb)
Solution	MinInstanceQuery.solve(KnowledgeBase kb)
Solution	DefuzzifyQuery.solve(KnowledgeBase kb)
static void	ClassicalSolver.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	LukasiewiczSolver.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	ZadehSolver.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.
void	TrapezoidalConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	RightConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	LeftConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	ModifiedConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
void	CrispConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
void	TriangularModifier.solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)
void	LinearModifier.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	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	WeightedSumZeroConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedMinConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	OwaConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	SugenoIntegral.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedSumConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedMaxConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	ChoquetIntegral.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	FuzzyConcreteConcept.solveComplementAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy 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.
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	WeightedSumZeroConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedMinConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	OwaConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	SugenoIntegral.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedSumConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedMaxConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	ChoquetIntegral.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) 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	ZadehSolver.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	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.

Constructors in fuzzydl with parameters of type KnowledgeBase

Constructor and Description
CreatedIndividual(java.lang.String name, Individual parent, java.lang.String roleName, KnowledgeBase kb) Constructor.

Uses of KnowledgeBase in fuzzydl.parser

Methods in fuzzydl.parser that return KnowledgeBase

Modifier and Type	Method and Description
KnowledgeBase	Parser.getKB() Gets a KB.
static KnowledgeBase	Parser.getKB(java.lang.String fileName) Creates a fuzzy KB from an external file.