A B C D E F G H I J K L M N O P Q R S T U V W Z 

S

SatisfiableQuery - Class in fuzzydl
Fuzzy concept satisfiability query.
SatisfiableQuery(Concept) - Constructor for class fuzzydl.SatisfiableQuery
Constructor for a general satisfiability query.
SatisfiableQuery(Concept, Individual) - Constructor for class fuzzydl.SatisfiableQuery
Constructor for a satisfiability query involving a specific individual.
saveToFile(String) - Method in class fuzzydl.KnowledgeBase
Saves a fuzzy KB into a text file.
SELF - Static variable in class fuzzydl.Concept
Self reflexivity concept.
self(String) - Static method in class fuzzydl.Concept
Gets a new local reflexivity concept.
setBinaryVariable() - Method in class fuzzydl.milp.Variable
Makes the variable binary.
setBinaryVariables() - Method in class fuzzydl.milp.MILPHelper
Transforms every [0,1]-variable into a {0,1} variable.
setConcreteIndividual() - Method in class fuzzydl.CreatedIndividual
Sets that the individual is concrete.
setConstant(double) - Method in class fuzzydl.milp.Expression
Sets a double constant to an expression.
setCrispConcept(Concept) - Method in class fuzzydl.KnowledgeBase
Defines a concept to be crisp.
setCrispRole(String) - Method in class fuzzydl.KnowledgeBase
Defines a role to be crisp.
setDefinition(Concept) - Method in class fuzzydl.PrimitiveConceptDefinition
Sets the definition.
setIndividual(Individual) - Method in class fuzzydl.Assertion
Sets the individual of the assertion.
setK1(double) - Method in class fuzzydl.FuzzyConcreteConcept
Sets the value of the parameter k1.
setK2(double) - Method in class fuzzydl.FuzzyConcreteConcept
Sets the value of the parameter k2.
setLogic(FuzzyLogic) - Method in class fuzzydl.KnowledgeBase
Sets the fuzzy logic of the fuzzy knowledge base.
setLowerLimit(Degree) - Method in class fuzzydl.Assertion
Sets the lower bound degree.
setName(String) - Method in class fuzzydl.Concept
Sets the name of the concept.
setName(String) - Method in class fuzzydl.milp.Variable
Sets the name of the variable.
setName(String) - Method in class fuzzydl.Modifier
Gets the name of the modifier.
setObjectIndividual(Individual) - Method in class fuzzydl.Relation
Sets the object individual.
setRange(Object, Object) - Method in class fuzzydl.ConcreteFeature
Sets the range of the feature.
setRange(double, double) - Static method in class fuzzydl.TriangularFuzzyNumber
Sets the range of the fuzzy numbers.
setType(int) - Method in class fuzzydl.Concept
Sets the type of the concept.
setType(int) - Method in class fuzzydl.ConcreteFeature
Sets the type of the feature.
setType(char) - Method in class fuzzydl.milp.Variable
Sets the type of the variable.
setValue(Object) - Method in class fuzzydl.Concept
Sets the value attribute.
SHOW_VERSION - Static variable in class fuzzydl.ConfigReader
Show the version of the reasoner.
showAbstractRoleFillers(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
Returns whether a given individuals is marked for showing every filler of an abstract role.
showConcepts(String) - Method in class fuzzydl.milp.ShowVariablesHelper
Returns whether an atomic concept is marked to show the membership degree of every individual.
showConcreteFillers(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
Returns whether a given individuals is marked for showing every filler of a concrete feature.
showIndividuals(String) - Method in class fuzzydl.milp.ShowVariablesHelper
Gets whether an individual is marked to be shown or not.
showLanguage - Variable in class fuzzydl.KnowledgeBase
Show the logic language to the user or not.
showVariable(Variable) - Method in class fuzzydl.milp.ShowVariablesHelper
Shows the value of a variable.
ShowVariablesHelper - Class in fuzzydl.milp
Manages variables shown to the user.
ShowVariablesHelper() - Constructor for class fuzzydl.milp.ShowVariablesHelper
 
showVars - Variable in class fuzzydl.milp.MILPHelper
Manages displayed variables.
similarityRels - Variable in class fuzzydl.KnowledgeBase
Similarity relations.
Solution - Class in fuzzydl.milp
Solution to some query over a fuzzy KB.
Solution(boolean) - Constructor for class fuzzydl.milp.Solution
Creates a new Solution, indicating whether the original KB is consistent.
Solution(double) - Constructor for class fuzzydl.milp.Solution
Creates a new Solution, with the result of a query over a consistent KB.
solve(KnowledgeBase) - Method in class fuzzydl.AllInstancesQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.BnpQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.DefuzzifyQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.KbSatisfiableQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MaxInstanceQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MaxQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MaxRelatedQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MaxSatisfiableQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MaxSubsumesQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MinInstanceQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MinQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MinRelatedQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MinSatisfiableQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MinSubsumesQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.MomDefuzzifyQuery
 
solve(KnowledgeBase) - Method in class fuzzydl.Query
Solves the query over a fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.ChoquetIntegral
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.CrispConcreteConcept
 
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.FuzzyConcreteConcept
Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.LeftConcreteConcept
 
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.LinearConcreteConcept
 
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.LinearModifier
 
solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcept
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcreteConcept
 
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.Modifier
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.OwaConcept
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.RightConcreteConcept
 
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.SugenoIntegral
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.TrapezoidalConcreteConcept
 
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularConcreteConcept
 
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularModifier
 
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMaxConcept
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMinConcept
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumZeroConcept
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveComplementAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.FuzzyConcreteConcept
Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcept
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
solveComplementAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.Modifier
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.ChoquetIntegral
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.OwaConcept
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.SugenoIntegral
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMaxConcept
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMinConcept
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumZeroConcept
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveKB() - Method in class fuzzydl.KnowledgeBase
Prepares the fuzzy knowledge base to reason with it.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
SomDefuzzifyQuery - Class in fuzzydl
Smallest of maxima defuzzification query.
SomDefuzzifyQuery(Concept, Individual, String) - Constructor for class fuzzydl.SomDefuzzifyQuery
 
SOME - Static variable in class fuzzydl.Concept
Existential restriction.
some(String, Concept) - Static method in class fuzzydl.Concept
Gets a new existential restriction concept.
Start() - Method in class fuzzydl.parser.Parser
 
STRING - Static variable in class fuzzydl.ConcreteFeature
 
StringType() - Method in class fuzzydl.parser.Parser
Gets a fuzzyDL representation of the type "string" for the range of concrete features
SUBSTRACTION - Static variable in class fuzzydl.FeatureFunction
Substraction function.
SubsumptionQuery - Class in fuzzydl
Subsumption query.
SubsumptionQuery(Concept, Concept, int) - Constructor for class fuzzydl.SubsumptionQuery
 
subtractExpressions(Expression, Expression) - Static method in class fuzzydl.milp.Expression
Substracts two expressions.
subtractFromExpression(Expression) - Method in class fuzzydl.Degree
Subtracts the degree to an expression.
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeExpression
 
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeNumeric
 
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeVariable
 
SUGENO_INTEGRAL - Static variable in class fuzzydl.Concept
Sugeno integral.
SugenoIntegral - Class in fuzzydl
Sugeno integral concept.
SugenoIntegral(ArrayList<Double>, ArrayList<Concept>) - Constructor for class fuzzydl.SugenoIntegral
 
SUM - Static variable in class fuzzydl.FeatureFunction
Sum function.
A B C D E F G H I J K L M N O P Q R S T U V W Z