Uses of Class
fuzzydl.Assertion

Packages that use Assertion

fuzzydl

Uses of Assertion in fuzzydl

Fields in fuzzydl with type parameters of type Assertion

java.util.Hashtable<java.lang.String,java.util.ArrayList<Assertion>>	KnowledgeBase.blockedAssertions Blocked assertions.
java.util.ArrayList<Assertion>	KnowledgeBase.negativeConcreteValueAssertions Negated datatype restrictions.
java.util.ArrayList<Assertion>	KnowledgeBase.positiveConcreteValueAssertions Datatype restrictions.

Methods in fuzzydl with parameters of type Assertion

void	KnowledgeBase.addAssertion(Assertion newAss) Adds a fuzzy assertion.
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	Assertion.equals(Assertion ass) Indicates whether some other assertion is "equal to" this one.
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.
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.
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.