Uses of Class
fuzzydl.Degree

Packages that use Degree

fuzzydl
fuzzydl.milp

Uses of Degree in fuzzydl

Subclasses of Degree in fuzzydl

class	DegreeExpression Degree defined using an expression.
class	DegreeNumeric Degree defined using a real number in [0,1].
class	DegreeVariable Degree defined using a variable.

Methods in fuzzydl that return Degree

Degree	AtomicAssertion.getDegree() Gets the lower bound degree.
Degree	GeneralConceptInclusion.getDegree() Gets the lower bound for the degree.
Degree	Relation.getDegree() Returns the lower bound for the degree.
Degree	Restriction.getDegree() Gets the lower bound for the degree.
static Degree	Degree.getDegree(java.lang.Double numeric) Constructor for a numeric degree.
static Degree	Degree.getDegree(Expression expr) Constructor for an expression degree.
static Degree	Degree.getDegree(Variable variable) Constructor for a variable degree.
Degree	Assertion.getLowerLimit() Gets the lower bound degree.

Methods in fuzzydl with parameters of type Degree

void	KnowledgeBase.addAssertion(Individual a, Concept c, Degree n) Adds a fuzzy assertion of the form (a : C \geq 1 )
void	Individual.addNegativeRelation(java.lang.String roleName, Individual a, Degree degree) Adds a negative relation to the individual.
void	KnowledgeBase.addRelation(Individual indA, java.lang.String role, Individual indB, Degree degree) Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
Relation	Relation.clone(java.lang.String role, Degree degree) Gets a relation (role, lower bound for the degree) for the subject individual.
void	KnowledgeBase.g_implies(Concept conc1, Concept conc2, Degree degree) Adds a Goedel GCI.
void	KnowledgeBase.implies(Concept conc1, Concept conc2, Degree degree) Adds a GCI (conc1, conc2, degree)
void	KnowledgeBase.kd_implies(Concept conc1, Concept conc2, Degree degree) Adds a Kleene-Dienes GCI.
void	KnowledgeBase.l_implies(Concept conc1, Concept conc2, Degree degree) Adds a Lukasiewicz GCI.
void	CrispConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
void	LeftConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearlyModifiedConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract 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	RightConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TrapezoidalConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularlyModifiedConcept.solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	WeightedSumConcept.solveAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	CrispConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract void	FuzzyConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
void	LeftConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	LinearlyModifiedConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
abstract 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	RightConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TrapezoidalConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularConcreteConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	TriangularlyModifiedConcept.solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb)
void	WeightedSumConcept.solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.

Constructors in fuzzydl with parameters of type Degree

Assertion(Individual a, Concept c, Degree l)

AtomicAssertion(Concept c, Degree degree)

GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)

Label(Concept concept, Degree weight)

NegativeRelation(java.lang.String roleName, Individual ind1, Individual ind2, Degree degree)

Relation(java.lang.String roleName, Individual ind1, Individual ind2, Degree degree)

Restriction(java.lang.String roleName, Concept concept, Degree degree)

Uses of Degree in fuzzydl.milp

Methods in fuzzydl.milp with parameters of type Degree

void	MILPHelper.addNewConstraint(Expression expr, int constraintType, Degree degree) Add a new inequality of the form: expr constraintType degree.