Uses of Class
fuzzydl.Concept

Packages that use Concept

Package	Description
fuzzydl
fuzzydl.milp
fuzzydl.util

Uses of Concept in fuzzydl

Subclasses of Concept in fuzzydl

Modifier and Type	Class and Description
class	ChoquetIntegral Choquet integral concept.
class	CrispConcreteConcept Concrete concept defined with a crisp interval.
class	FuzzyConcreteConcept Fuzzy concrete concept defined with an explicit membership function.
class	LeftConcreteConcept Fuzzy concrete concept defined with a left shoulder function.
class	LinearConcreteConcept Fuzzy concrete concept defined with a left shoulder function.
class	LinearlyModifiedConcept Fuzzy concept modified with a linear modifier.
class	ModifiedConcept Modified fuzzy concept.
class	ModifiedConcreteConcept Concrete concept defined with a crisp interval.
class	NegatedNominal Negated nominal concept.
class	OwaConcept OWA concept.
class	QowaConcept Quantified-guided OWA concept.
class	QsugenoIntegral Quasi Sugeno integral concept.
class	RightConcreteConcept Fuzzy concrete concept defined with a right shoulder function.
class	SugenoIntegral Sugeno integral concept.
class	TrapezoidalConcreteConcept Fuzzy concrete concept defined with a trapezoidal function.
class	TriangularConcreteConcept Fuzzy concrete concept defined with a triangular function.
class	TriangularFuzzyNumber Fuzzy number defined with a triangular function.
class	TriangularlyModifiedConcept Fuzzy concept modified with a triangular modifier.
class	WeightedMaxConcept Weighted sum concept.
class	WeightedMinConcept Weighted sum concept.
class	WeightedSumConcept Weighted sum concept.
class	WeightedSumZeroConcept Weighted sum zero concept.

Fields in fuzzydl declared as Concept

Modifier and Type	Field and Description
static Concept	Concept.CONCEPT_BOTTOM Gets a bottom concept.
static Concept	Concept.CONCEPT_TOP Gets a top concept.

Fields in fuzzydl with type parameters of type Concept

Modifier and Type	Field and Description
java.util.Hashtable<java.lang.String,Concept>	KnowledgeBase.atomicConcepts Fuzzy concepts.

Methods in fuzzydl that return Concept

Modifier and Type	Method and Description
Concept	KnowledgeBase.addDatatypeRestriction(int restrictionType, java.lang.Object o, java.lang.String fName) Adds a datatype restriction of the form (restrictionType, fName, o).
static Concept	Concept.all(java.lang.String role, Concept c) Gets a new universal restriction concept.
static Concept	Concept.and(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept.
static Concept	Concept.and(Concept c1, Concept c2) Gets a new binary conjunction concept.
static Concept	Concept.atLeastValue(java.lang.String role, java.lang.Object o) Gets a new at-least datatype restriction concept.
static Concept	Concept.atMostValue(java.lang.String role, java.lang.Object o) Gets a new at-most datatype restriction concept.
Concept	LinearlyModifiedConcept.complement()
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()
abstract Concept	ModifiedConcept.complement() Gets the complement of the concept.
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	TriangularlyModifiedConcept.complement()
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()
Concept	TriangularFuzzyNumber.complement()
abstract Concept	FuzzyConcreteConcept.complement() Gets the complement of the concept.
static Concept	Concept.complement(Concept c) Gets the complement of the concept.
static Concept	Concept.exactValue(java.lang.String role, java.lang.Object o) Gets a new exact datatype restriction concept.
static Concept	Concept.extendedNegThreshold(Variable w, Concept c) Gets a new extended negative threshold concept.
static Concept	Concept.extendedPosThreshold(Variable w, Concept c) Gets a new extended positive threshold concept.
static Concept	Concept.gAnd(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept under Goedel semantics.
static Concept	Concept.gAnd(Concept c1, Concept c2) Gets a new binary conjunction concept under Goedel semantics.
Concept	ConceptEquivalence.getC1() Gets the first concept.
Concept	ConceptEquivalence.getC2() Gets the second concept.
Concept	Restriction.getConcept() Gets the fuzzy concept.
Concept	Assertion.getConcept() Gets the concept.
Concept	KnowledgeBase.getConcept(java.lang.String name) Gets a concept with indicated name.
Concept	PrimitiveConceptDefinition.getDefinition() Gets the definition.
Concept	GeneralConceptInclusion.getSubsumed() Gets the subsumed concept.
Concept	GeneralConceptInclusion.getSubsumer() Gets the subsumer concept.
static Concept	Concept.gImplies(Concept c1, Concept c2) Gets a new implication concept under Goedel semantics.
static Concept	Concept.gOr(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept under Goedel semantics.
static Concept	Concept.gOr(Concept c1, Concept c2) Gets a new binary disjunction concept under Goedel semantics.
static Concept	Concept.hasValue(java.lang.String role, Individual i) Gets a new has value restriction concept.
static Concept	Concept.hasValue(java.lang.String role, java.lang.String i) Gets a new has value restriction concept.
static Concept	Concept.kdImplies(Concept c1, Concept c2) Gets a new implication concept under Kleene-Dienes semantics.
static Concept	Concept.lAnd(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept under Lukasiewicz semantics.
static Concept	Concept.lAnd(Concept c1, Concept c2) Gets a new binary conjunction concept under Lukasiewicz semantics.
static Concept	Concept.lImplies(Concept c1, Concept c2) Gets a new implication concept under Lukasiewicz semantics.
static Concept	Concept.looseLowerApprox(java.lang.String role, Concept c) Gets a new loose lower fuzzy rough concept.
static Concept	Concept.looseUpperApprox(java.lang.String role, Concept c) Gets a new loose upper fuzzy rough concept.
static Concept	Concept.lOr(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept under Lukasiewicz semantics.
static Concept	Concept.lOr(Concept c1, Concept c2) Gets a new binary disjunction concept under Lukasiewicz semantics.
static Concept	Concept.lowerApprox(java.lang.String role, Concept c) Gets a new lower fuzzy rough concept.
Concept	TriangularModifier.modify(Concept c)
Concept	LinearModifier.modify(Concept c)
abstract Concept	Modifier.modify(Concept c) Modifies a fuzzy concept
static Concept	Concept.nAry(int type, java.util.ArrayList<Concept> v) Gets a new n-ary concept.
static Concept	Concept.negThreshold(double w, Concept c) Gets a new negative threshold concept.
static Concept	Concept.newAtomicConcept() Gets a new atomic concept.
static Concept	Concept.notHasValue(java.lang.String role, java.lang.String i) Gets a new negated has value restriction concept.
static Concept	Concept.or(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept.
static Concept	Concept.or(Concept c1, Concept c2) Gets a new binary disjunction concept.
static Concept	Concept.posThreshold(double w, Concept c) Gets a new positive threshold concept.
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.
static Concept	Concept.self(java.lang.String role) Gets a new local reflexivity concept.
static Concept	Concept.some(java.lang.String role, Concept c) Gets a new existential restriction concept.
static Concept	Concept.tightLowerApprox(java.lang.String role, Concept c) Gets a new tight lower fuzzy rough concept.
static Concept	Concept.tightUpperApprox(java.lang.String role, Concept c) Gets a new tight upper fuzzy rough concept.
static Concept	Concept.upperApprox(java.lang.String role, Concept c) Gets a new upper fuzzy rough concept.
static Concept	Concept.weightedConcept(double w, Concept c) Gets a new weighted concept.
static Concept	Concept.zImplies(Concept c1, Concept c2) Gets a new implication concept under Zadeh semantics.

Methods in fuzzydl that return types with arguments of type Concept

Modifier and Type	Method and Description
java.util.HashSet<Concept>	WeightedSumZeroConcept.computeAtomicConcepts()
java.util.HashSet<Concept>	WeightedMinConcept.computeAtomicConcepts()
java.util.HashSet<Concept>	OwaConcept.computeAtomicConcepts()
java.util.HashSet<Concept>	SugenoIntegral.computeAtomicConcepts()
java.util.HashSet<Concept>	WeightedSumConcept.computeAtomicConcepts()
java.util.HashSet<Concept>	WeightedMaxConcept.computeAtomicConcepts()
java.util.HashSet<Concept>	ChoquetIntegral.computeAtomicConcepts()
java.util.HashSet<Concept>	Concept.getAtomicConcepts()

Methods in fuzzydl with parameters of type Concept

Modifier and Type	Method and Description
void	KnowledgeBase.addAssertion(Individual a, Concept c, Degree n) Adds a fuzzy assertion of the form (a : C >= n )
void	KnowledgeBase.addConceptsDisjoint(Concept c, Concept d)
static Concept	Concept.all(java.lang.String role, Concept c) Gets a new universal restriction concept.
static Concept	Concept.and(Concept c1, Concept c2) Gets a new binary conjunction concept.
void	KnowledgeBase.checkRole(java.lang.String roleName, Concept conc) Checks the disjointness between abstract and concrete roles.
static Concept	Concept.complement(Concept c) Gets the complement of the concept.
static int	Concept.containsNegatedSubconcept(java.util.ArrayList<Concept> v, Concept cj)
static boolean	Concept.containsSubconcept(java.util.ArrayList<Concept> v, Concept cj)
void	KnowledgeBase.defineAtomicConcept(java.lang.String conceptName, Concept conc, int implication, double n) Adds an atomic fuzzy concept definition.
void	KnowledgeBase.defineConcept(java.lang.String conceptName, Concept conc) Adds a fuzzy concept definition.
void	KnowledgeBase.defineEquivalentConcepts(Concept c1, Concept c2) Adds a concept equivalence axiom.
boolean	Concept.equals(Concept c)
static Concept	Concept.extendedNegThreshold(Variable w, Concept c) Gets a new extended negative threshold concept.
static Concept	Concept.extendedPosThreshold(Variable w, Concept c) Gets a new extended positive threshold concept.
static Concept	Concept.gAnd(Concept c1, Concept c2) Gets a new binary conjunction concept under Goedel semantics.
static Concept	Concept.gImplies(Concept c1, Concept c2) Gets a new implication concept under Goedel semantics.
void	KnowledgeBase.gImplies(Concept conc1, Concept conc2, Degree degree) Adds a Goedel General Concept Inclusion.
static Concept	Concept.gOr(Concept c1, Concept c2) Gets a new binary disjunction concept under Goedel semantics.
void	KnowledgeBase.implies(Concept conc1, Concept conc2, Degree degree) Adds a General Concept Inclusion (conc1, conc2, degree)
static Concept	Concept.kdImplies(Concept c1, Concept c2) Gets a new implication concept under Kleene-Dienes semantics.
void	KnowledgeBase.kdImplies(Concept conc1, Concept conc2, Degree degree) Adds a Kleene-Dienes General Concept Inclusion.
static Concept	Concept.lAnd(Concept c1, Concept c2) Gets a new binary conjunction concept under Lukasiewicz semantics.
static Concept	Concept.lImplies(Concept c1, Concept c2) Gets a new implication concept under Lukasiewicz semantics.
void	KnowledgeBase.lImplies(Concept conc1, Concept conc2, Degree degree) Adds a Lukasiewicz General Concept Inclusion.
static Concept	Concept.looseLowerApprox(java.lang.String role, Concept c) Gets a new loose lower fuzzy rough concept.
static Concept	Concept.looseUpperApprox(java.lang.String role, Concept c) Gets a new loose upper fuzzy rough concept.
static Concept	Concept.lOr(Concept c1, Concept c2) Gets a new binary disjunction concept under Lukasiewicz semantics.
static Concept	Concept.lowerApprox(java.lang.String role, Concept c) Gets a new lower fuzzy rough concept.
Concept	TriangularModifier.modify(Concept c)
Concept	LinearModifier.modify(Concept c)
abstract Concept	Modifier.modify(Concept c) Modifies a fuzzy concept
static Concept	Concept.negThreshold(double w, Concept c) Gets a new negative threshold concept.
static Concept	Concept.or(Concept c1, Concept c2) Gets a new binary disjunction concept.
static Concept	Concept.posThreshold(double w, Concept c) Gets a new positive threshold concept.
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.roleDomain(java.lang.String role, Concept conc) Adds a domain funcRole axiom.
void	KnowledgeBase.roleRange(java.lang.String role, Concept conc) Adds a funcRole range axiom.
void	KnowledgeBase.setCrispConcept(Concept c) Defines a concept to be crisp.
void	PrimitiveConceptDefinition.setDefinition(Concept definition) Sets the definition.
void	GeneralConceptInclusion.setSubsumed(Concept newConcept) Sets the subsumed concept.
void	GeneralConceptInclusion.setSubsumer(Concept newConcept) Sets the subsumer concept.
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	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.
static Concept	Concept.some(java.lang.String role, Concept c) Gets a new existential restriction concept.
static Concept	Concept.tightLowerApprox(java.lang.String role, Concept c) Gets a new tight lower fuzzy rough concept.
static Concept	Concept.tightUpperApprox(java.lang.String role, Concept c) Gets a new tight upper fuzzy rough concept.
static Concept	Concept.upperApprox(java.lang.String role, Concept c) Gets a new upper fuzzy rough concept.
static Concept	Concept.weightedConcept(double w, Concept c) Gets a new weighted concept.
void	KnowledgeBase.zImplies(Concept conc1, Concept conc2) Adds a Zadeh General Concept Inclusion.
static Concept	Concept.zImplies(Concept c1, Concept c2) Gets a new implication concept under Zadeh semantics.

Method parameters in fuzzydl with type arguments of type Concept

Modifier and Type	Method and Description
void	KnowledgeBase.addConceptsDisjoint(java.util.ArrayList<Concept> disjointConcepts) Adds some disjoint concept axioms.
void	KnowledgeBase.addEquivalentConcepts(java.util.ArrayList<Concept> equivConcepts) Adds some equivalent concept axioms.
static Concept	Concept.and(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept.
static int	Concept.containsNegatedSubconcept(java.util.ArrayList<Concept> v, Concept cj)
static boolean	Concept.containsSubconcept(java.util.ArrayList<Concept> v, Concept cj)
static Concept	Concept.gAnd(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept under Goedel semantics.
static Concept	Concept.gOr(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept under Goedel semantics.
static Concept	Concept.lAnd(java.util.ArrayList<Concept> v) Gets a new n-ary conjunction concept under Lukasiewicz semantics.
static Concept	Concept.lOr(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept under Lukasiewicz semantics.
static Concept	Concept.nAry(int type, java.util.ArrayList<Concept> v) Gets a new n-ary concept.
static Concept	Concept.or(java.util.ArrayList<Concept> v) Gets a new n-ary disjunction concept.
static void	Concept.removeElement(java.util.ArrayList<Concept> v, int i)

Constructors in fuzzydl with parameters of type Concept

Constructor and Description
AllInstancesQuery(Concept concept)
Assertion(Individual a, Concept c, Degree l)
AtomicAssertion(Concept c, Degree degree)
ConceptEquivalence(Concept c1, Concept c2)
DefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
DomainAxiom(java.lang.String role, Concept concept)
GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)
InstanceQuery(Concept concept, Individual individual)
Label(Concept concept, Degree weight)
LinearlyModifiedConcept(Concept c, Modifier mod)
LomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
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)
ModifiedConcept(Concept c, Modifier mod)
MomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
PrimitiveConceptDefinition(java.lang.String defined, Concept definition, int implication, double degree)
RangeAxiom(java.lang.String role, Concept concept)
Restriction(java.lang.String roleName, Concept concept, Degree degree)
SatisfiableQuery(Concept c) Constructor for a general satisfiability query.
SatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.
SomDefuzzifyQuery(Concept c, Individual ind, java.lang.String fName)
SubsumptionQuery(Concept c1, Concept c2, int type)
TriangularlyModifiedConcept(Concept c, Modifier mod)

Constructor parameters in fuzzydl with type arguments of type Concept

Constructor and Description
ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
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)
SugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)
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 Concept in fuzzydl.milp

Methods in fuzzydl.milp with parameters of type Concept

Modifier and Type	Method and Description
Variable	MILPHelper.getVariable(Individual ind, Concept c) Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.

Uses of Concept in fuzzydl.util

Method parameters in fuzzydl.util with type arguments of type Concept

Modifier and Type	Method and Description
static void	Util.order(java.util.ArrayList<Concept> v) Order a vector of concepts.