Uses of Class
fuzzydl.exception.FuzzyOntologyException

Packages that use FuzzyOntologyException

fuzzydl
fuzzydl.milp
fuzzydl.parser
fuzzydl.util

Uses of FuzzyOntologyException in fuzzydl

Methods in fuzzydl that throw FuzzyOntologyException

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 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.
void	KnowledgeBase.checkRole(java.lang.String roleName, Concept conc) Checks the disjointness between abstract and concrete roles.
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.
static TriangularFuzzyNumber	TriangularFuzzyNumber.minus(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2) Subtracts two triangular fuzzy numbers.
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.
void	KnowledgeBase.saveToFile(java.lang.String fileName) Saves a fuzzy KB into a text file.
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.
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.

Constructors in fuzzydl that throw FuzzyOntologyException

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)

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)

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)

WeightedSumConcept(java.lang.String name, int type, WeightedConcept[] conceptWeights)

WeightedSumConcept(WeightedConcept[] conceptWeights)

Uses of FuzzyOntologyException in fuzzydl.milp

Methods in fuzzydl.milp that throw FuzzyOntologyException

Solution

MILPHelper.optimize(Expression objective) It optimizes an expression.

Uses of FuzzyOntologyException in fuzzydl.parser

Methods in fuzzydl.parser that throw FuzzyOntologyException

void	Parser.checkAbstract(Concept c) Checks whether a concept is abstract.
static void	Parser.main(java.lang.String[] args)
void	Parser.Start()
WeightedConcept	Parser.WeightedConcept()

Uses of FuzzyOntologyException in fuzzydl.util

Methods in fuzzydl.util that throw FuzzyOntologyException

static void

Util.error(java.lang.String message) Prints an error message and finishes the execution of the program.