- 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.