Uses of Class
fuzzydl.exception.FuzzyOntologyException

Packages that use FuzzyOntologyException

Package	Description
fuzzydl
fuzzydl.parser
fuzzydl.util

Uses of FuzzyOntologyException in fuzzydl

Methods in fuzzydl that throw FuzzyOntologyException

Modifier and Type	Method and Description
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.
void	KnowledgeBase.checkRole(java.lang.String roleName, Concept conc) Checks the disjointness between abstract and concrete roles.
Concept	QsugenoIntegral.complement() Gets the complement of the concept.
Concept	TrapezoidalConcreteConcept.complement()
Concept	TriangularConcreteConcept.complement()
Concept	WeightedSumZeroConcept.complement() Gets the complement of the concept.
Concept	RightConcreteConcept.complement()
Concept	WeightedMinConcept.complement() Gets the complement of the concept.
Concept	OwaConcept.complement() Gets the complement of the concept.
Concept	SugenoIntegral.complement() Gets the complement of the concept.
Concept	WeightedSumConcept.complement() Gets the complement of the concept.
Concept	WeightedMaxConcept.complement() Gets the complement of the concept.
Concept	LeftConcreteConcept.complement()
Concept	QowaConcept.complement() Gets the complement of the concept.
Concept	ChoquetIntegral.complement() Gets the complement of the concept.
Concept	NegatedNominal.complement() Gets the complement of the concept.
Concept	LinearConcreteConcept.complement()
Concept	ModifiedConcreteConcept.complement()
Concept	CrispConcreteConcept.complement()
abstract Concept	FuzzyConcreteConcept.complement() Gets the complement of the concept.
void	KnowledgeBase.defineBooleanConcreteFeature(java.lang.String funcRole) Define a concrete feature with range boolean.
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.
boolean	KbSatisfiableQuery.isConsistentKB(KnowledgeBase kb)
static TriangularFuzzyNumber	TriangularFuzzyNumber.minus(TriangularFuzzyNumber t1, TriangularFuzzyNumber t2) Subtracts two triangular fuzzy numbers.
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	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)
Concept	LinearlyModifiedConcept.replace(Concept a, Concept c)
Concept	QsugenoIntegral.replace(Concept a, Concept c)
Concept	WeightedSumZeroConcept.replace(Concept a, Concept c)
abstract Concept	ModifiedConcept.replace(Concept a, Concept c)
Concept	WeightedMinConcept.replace(Concept a, Concept c)
Concept	OwaConcept.replace(Concept a, Concept c)
Concept	SugenoIntegral.replace(Concept a, Concept c)
Concept	WeightedSumConcept.replace(Concept a, Concept c)
Concept	WeightedMaxConcept.replace(Concept a, Concept c)
Concept	QowaConcept.replace(Concept a, Concept c)
Concept	TriangularlyModifiedConcept.replace(Concept a, Concept c)
Concept	ChoquetIntegral.replace(Concept a, Concept c)
Concept	Concept.replace(Concept a, Concept c) Gets a new concept by replacing an atomic concept a with a complex concept c.
void	KnowledgeBase.saveToFile(java.lang.String fileName) Saves a fuzzy KB into a text file.
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	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)
void	KnowledgeBase.solveAssertions() Solves all the fuzzy assertions.
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

Constructor and Description
AllInstancesQuery(Concept concept)
ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
InstanceQuery(Concept concept, Individual individual)
KbSatisfiableQuery()
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)
LinearConcreteConcept(java.lang.String name, double k1, double k2, double a, double b)
LinearConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b)
MaxInstanceQuery(Concept concept, Individual individual)
MaxSatisfiableQuery(Concept c) Constructor for a general satisfiability query.
MaxSatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.
MaxSubsumesQuery(Concept c1, Concept c2, int type)
MinInstanceQuery(Concept concept, Individual individual)
MinSatisfiableQuery(Concept c) Constructor for a general satisfiability query.
MinSatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.
MinSubsumesQuery(Concept c1, Concept c2, int type)
ModifiedConcreteConcept(java.lang.String name, int type, Modifier modifier, FuzzyConcreteConcept f)
ModifiedConcreteConcept(java.lang.String name, Modifier modifier, FuzzyConcreteConcept f)
OwaConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
QowaConcept(FuzzyConcreteConcept quantifier, java.util.ArrayList<Concept> concepts)
QsugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
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)
SatisfiableQuery(Concept c) Constructor for a general satisfiability query.
SatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.
SubsumptionQuery(Concept c1, Concept c2, int type)
SugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
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)
WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
WeightedMinConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
WeightedSumConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
WeightedSumZeroConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)

Uses of FuzzyOntologyException in fuzzydl.parser

Methods in fuzzydl.parser that throw FuzzyOntologyException

Modifier and Type	Method and Description
static void	Parser.main(java.lang.String[] args) Main program.
void	Parser.Start()

Uses of FuzzyOntologyException in fuzzydl.util

Methods in fuzzydl.util that throw FuzzyOntologyException

Modifier and Type	Method and Description
static void	Util.error(java.lang.String message) Prints an error message and finishes the execution of the program.