Uses of Class
fuzzydl.Individual

Packages that use Individual

fuzzydl
fuzzydl.milp

Uses of Individual in fuzzydl

Subclasses of Individual in fuzzydl

class

CreatedIndividual New individual (created during the reasoning).

Fields in fuzzydl declared as Individual

protected Individual	DefuzzifyQuery.a
protected Individual	InstanceQuery.ind
protected Individual	SatisfiableQuery.ind Optional individual used during the satisfiability test.
protected Individual	RelatedQuery.ind1 Subject of the relation.
protected Individual	RelatedQuery.ind2 Object of the relation.

Fields in fuzzydl with type parameters of type Individual

java.util.Hashtable<java.lang.String,Individual>

KnowledgeBase.individuals Individuals.

Methods in fuzzydl that return Individual

Individual	Individual.clone()
Individual	Assertion.getIndividual() Gets the individual.
Individual	KnowledgeBase.getIndividual(java.lang.String indName) Gets an individual with the indicated name (creating it if necessary).
Individual	Relation.getObjectIndividual() Gets the object individual.
Individual	CreatedIndividual.getParent() Gets the parent of the individual.
Individual	Relation.getSubjectIndividual() Gets the subject individual.

Methods in fuzzydl with parameters of type Individual

void	KnowledgeBase.addAssertion(Individual a, Concept c, Degree n) Adds a fuzzy assertion of the form (a : C \geq 1 )
void	KnowledgeBase.addIndividual(java.lang.String indName, Individual ind) Adds a individual to the KB.
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)
CreatedIndividual	KnowledgeBase.getNewIndividual(Individual parent, java.lang.String fName)
void	Assertion.setIndividual(Individual ind) Sets the individual of the assertion.
void	Relation.setObjectIndividual(Individual ind) Sets the object individual.
static void	ClassicalSolver.solveAll(Individual a, Relation rel, Restriction restric, KnowledgeBase kb) Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
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.
Expression	FeatureFunction.toExpression(Individual a, MILPHelper milp) Returns a Expression representing the function.

Constructors in fuzzydl with parameters of type Individual

Assertion(Individual a, Concept c, Degree l)

CreatedIndividual(java.lang.String name, Individual parent, java.lang.String roleName)
Constructor.

DefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)

LomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)

MaxInstanceQuery(Concept concept, Individual individual)

MaxRelatedQuery(Individual a, Individual b, java.lang.String roleName)

MaxSatisfiableQuery(Concept c, Individual a)
Constructor for a satisfiability query involving a specific individual.

MinInstanceQuery(Concept concept, Individual individual)

MinRelatedQuery(Individual a, Individual b, java.lang.String roleName)

MinSatisfiableQuery(Concept c, Individual a)
Constructor for a satisfiability query involving a specific individual.

MomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)

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

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

SomDefuzzifyQuery(Concept c, Individual ind, java.lang.String fName)

Uses of Individual in fuzzydl.milp

Methods in fuzzydl.milp with parameters of type Individual

void	ShowVariablesHelper.addAbstractFillerToShow(java.lang.String roleName, Individual i, java.util.HashSet<java.lang.String> hs) Shows the membership degree to some atomic concepts of the fillers of an abstract role for some individual.
void	ShowVariablesHelper.addConcreteFillerToShow(java.lang.String fName, Individual i) Shows the value of the fillers of a concrete feature for an individual.
void	ShowVariablesHelper.addConcreteFillerToShow(java.lang.String fName, Individual i, java.util.ArrayList<FuzzyConcreteConcept> ar) Shows the membership degree to some fuzzy concrete concepts (representing linguistic labels of the feature), for the fillers of a concrete feature of an individual.