Uses of Class
fuzzydl.Individual

Packages that use Individual

Package	Description
fuzzydl
fuzzydl.milp

Uses of Individual in fuzzydl

Subclasses of Individual in fuzzydl

Modifier and Type	Class and Description
class	CreatedIndividual New individual (created during the reasoning).

Methods in fuzzydl that return Individual

Modifier and Type	Method and Description
Individual	Individual.clone() Gets a copy of an individual.
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 that return types with arguments of type Individual

Modifier and Type	Method and Description
java.util.List<Individual>	AllInstancesQuery.getIndividuals() Gets the named individuals of the knowledge base.
java.util.Hashtable<java.lang.String,Individual>	KnowledgeBase.getIndividuals() Get the individuals.

Methods in fuzzydl with parameters of type Individual

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.addAssertion(Individual a, Restriction restric) Adds a fuzzy assertion of the form (a : forall R.C >= n )
void	KnowledgeBase.addIndividualToConcept(int conceptID, Individual a) Add the individual a to the individual list of the concept.
Relation	KnowledgeBase.addRelation(Individual indA, java.lang.String role, Individual indB, Degree degree) Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
static Concept	Concept.hasValue(java.lang.String role, Individual i) Gets a new has value restriction concept.
void	Assertion.setIndividual(Individual ind) Sets the individual of the assertion.
void	Relation.setObjectIndividual(Individual ind) Sets the object individual.
void	Relation.setSubjectIndividual(Individual ind) Sets the subject individual.
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	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	WeightedSumZeroConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedMinConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	OwaConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	SugenoIntegral.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedSumConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	WeightedMaxConcept.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
void	ChoquetIntegral.solveAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, concept) 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.
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	WeightedSumZeroConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedMinConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	OwaConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	SugenoIntegral.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedSumConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	WeightedMaxConcept.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
void	ChoquetIntegral.solveComplementedAssertion(Individual ind, KnowledgeBase kb) Solves an assertion of the form (individual, not concept) 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

Constructor and Description
Assertion(Individual a, Concept c, Degree l)
CreatedIndividual(java.lang.String name, Individual parent, java.lang.String roleName) Constructor.
CreatedIndividual(java.lang.String name, Individual parent, java.lang.String roleName, KnowledgeBase kb) Constructor.
DefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
InstanceQuery(Concept concept, Individual individual)
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)
Relation(java.lang.String roleName, Individual ind1, Individual ind2, Degree degree)
SatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.
SomDefuzzifyQuery(Concept c, Individual ind, java.lang.String fName)

Uses of Individual in fuzzydl.milp

Methods in fuzzydl.milp with parameters of type Individual

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.
Variable	MILPHelper.getVariable(Individual a, Individual b, java.lang.String role) Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
Variable	MILPHelper.getVariable(Individual a, Individual b, java.lang.String role, char type) Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
Variable	MILPHelper.getVariable(Individual ind, Restriction restric) Gets a variable taking the value of a universal restriction, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
Variable	MILPHelper.getVariable(Individual ind, java.lang.String conceptName) 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.