- abstractRoles - Variable in class fuzzydl.KnowledgeBase
-
Abstract roles.
- add(TriangularFuzzyNumber, TriangularFuzzyNumber) - Static method in class fuzzydl.TriangularFuzzyNumber
-
Adds two triangular fuzzy numbers.
- addAbstractFillerToShow(String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Shows the membership degree to some atomic concepts of the fillers of an
abstract role.
- addAbstractFillerToShow(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Shows the membership degree to some atomic concepts of the fillers of an
abstract role for some individual.
- addAssertion(Individual, Concept, Degree) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy assertion of the form (a : C >= n )
- addAssertion(Individual, Restriction) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy assertion of the form (a : forall R.C >= n )
- addConcept(String, FuzzyConcreteConcept) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy concept to the array of concepts in the fuzzy KB.
- addConceptsDisjoint(ArrayList<String>) - Method in class fuzzydl.KnowledgeBase
-
Adds some disjoint concept axioms.
- addConceptToShow(String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Show membership degree of every instance of an atomic concept.
- addConcreteFillerToShow(String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Shows the value of the fillers of a concrete feature.
- addConcreteFillerToShow(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Shows the value of the fillers of a concrete feature for an individual.
- addConcreteFillerToShow(String, String, ArrayList<FuzzyConcreteConcept>) - Method in class fuzzydl.milp.ShowVariablesHelper
-
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.
- addConstant(Expression, Double) - Static method in class fuzzydl.milp.Expression
-
Adds a double constant to an expression.
- addCrispConcept(String) - Method in class fuzzydl.milp.MILPHelper
-
Defines a concept to be crisp.
- addCrispRole(String) - Method in class fuzzydl.milp.MILPHelper
-
Defines a role to be crisp.
- addDatatypeRestriction(int, Object, String) - Method in class fuzzydl.KnowledgeBase
-
Adds a datatype restriction of the form (restrictionType, fName, o).
- addDisjointUnionConcept(ArrayList<String>) - Method in class fuzzydl.KnowledgeBase
-
Adds a disjoint union concept axiom.
- addEquality(Variable, Variable) - Method in class fuzzydl.milp.MILPHelper
-
Add an equality of the form: var1 = var2.
- addEquivalenceRelation(String) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy equivalence relation.
- addEquivalentConcepts(ArrayList<Concept>) - Method in class fuzzydl.KnowledgeBase
-
Adds some equivalent concept axioms.
- addEquivalentRoles(ArrayList<String>) - Method in class fuzzydl.KnowledgeBase
-
Adds some equivalent funcRole axioms.
- addExpressions(Expression, Expression) - Static method in class fuzzydl.milp.Expression
-
Adds two expressions.
- addFuzzyNumber(String, TriangularFuzzyNumber) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy number to the fuzzy KB.
- addIndividualToShow(String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Shows the value of an individual to every atomic concept.
- addInverseRoles(String, String) - Method in class fuzzydl.KnowledgeBase
-
Adds an inverse funcRole axiom.
- addModifier(String, Modifier) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy modifier to the fuzzy KB.
- addNewConstraint(Expression, char) - Method in class fuzzydl.milp.MILPHelper
-
Adds a new inequality of the form: expr constraintType 0.
- addNewConstraint(Variable, double) - Method in class fuzzydl.milp.MILPHelper
-
Adds a new inequality of the form: x >= n.
- addNewConstraint(Assertion, double) - Method in class fuzzydl.milp.MILPHelper
-
Given a fuzzy assertion a:C >= L and a number n, adds an inequality of the form: xAss >= n.
- addNewConstraint(Variable, Degree) - Method in class fuzzydl.milp.MILPHelper
-
Add an inequality of the form: x >= D.
- addNewConstraint(Assertion) - Method in class fuzzydl.milp.MILPHelper
-
Adds a new inequality encoded in a fuzzy assertion.
- addNewConstraint(Expression, char, Degree) - Method in class fuzzydl.milp.MILPHelper
-
Adds a new inequality of the form: expr constraintType degree.
- addNewConstraint(Expression, char, double) - Method in class fuzzydl.milp.MILPHelper
-
Adds a new inequality of the form: expr constraintType n.
- addRelation(Individual, String, Individual, Degree) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
- addSimilarityRelation(String) - Method in class fuzzydl.KnowledgeBase
-
Adds a fuzzy similarity relation.
- addStringFeature(String) - Method in class fuzzydl.milp.MILPHelper
-
Adds a string feature.
- addStringValue(String, int) - Method in class fuzzydl.milp.MILPHelper
-
Relates the value of a string feature with an integer value.
- addTerm(Term) - Method in class fuzzydl.milp.Expression
-
Adds a term to an expression.
- addTerm(Expression, Term) - Static method in class fuzzydl.milp.Expression
-
Adds a term to an expression.
- addToExpression(Expression) - Method in class fuzzydl.Degree
-
Adds the degree to an expression.
- addToExpression(Expression) - Method in class fuzzydl.DegreeExpression
-
- addToExpression(Expression) - Method in class fuzzydl.DegreeNumeric
-
- addToExpression(Expression) - Method in class fuzzydl.DegreeVariable
-
- addVariable(Variable, String) - Method in class fuzzydl.milp.ShowVariablesHelper
-
Add a variable to shown, showing it with a given name.
- ALL - Static variable in class fuzzydl.Concept
-
Universal restriction.
- all(String, Concept) - Static method in class fuzzydl.Concept
-
Gets a new universal restriction concept.
- AllInstancesQuery - Class in fuzzydl
-
Min instance query for every individual of a knowledge base.
- AllInstancesQuery(Concept) - Constructor for class fuzzydl.AllInstancesQuery
-
- AND - Static variable in class fuzzydl.Concept
-
Conjunction.
- and(Concept, Concept) - Static method in class fuzzydl.Concept
-
Gets a new conjunction concept.
- and(ArrayList<Concept>) - Static method in class fuzzydl.Concept
-
Gets a new conjunction concept.
- applyAtLeastValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy at-least value assertion, with respect to a fuzzy KB.
- applyAtMostValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy at-most value assertion, with respect to a fuzzy KB.
- applyExactValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy exact value assertion, with respect to a fuzzy KB.
- applyNotAtLeastValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy not at-least value assertion, with respect to a fuzzy KB.
- applyNotAtMostValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy not at-most value assertion, with respect to a fuzzy KB.
- applyNotExactValueRule(Assertion, KnowledgeBase) - Static method in class fuzzydl.DatatypeReasoner
-
Reasons with a fuzzy not exact value assertion, with respect to a fuzzy KB.
- Assertion - Class in fuzzydl
-
Assertion of the form (individual, Concept, lowerDegree).
- Assertion(Individual, Concept, Degree) - Constructor for class fuzzydl.Assertion
-
- assertions - Variable in class fuzzydl.KnowledgeBase
-
Fuzzy assertions.
- AT_LEAST_VALUE - Static variable in class fuzzydl.Concept
-
At least datatype restriction.
- AT_MOST_VALUE - Static variable in class fuzzydl.Concept
-
At most datatype restriction.
- atLeastValue(String, Object) - Static method in class fuzzydl.Concept
-
Gets a new at-least datatype restriction concept.
- atMostValue(String, Object) - Static method in class fuzzydl.Concept
-
Gets a new at-most datatype restriction concept.
- ATOMIC - Static variable in class fuzzydl.Concept
-
Atomic concept.
- ATOMIC - Static variable in class fuzzydl.FeatureFunction
-
Feature.
- AtomicAssertion - Class in fuzzydl
-
Atomic assertion of the form (AtomicConcept, lowerDegree).
- AtomicAssertion(Concept, Degree) - Constructor for class fuzzydl.AtomicAssertion
-
- atomicConcepts - Variable in class fuzzydl.KnowledgeBase
-
Fuzzy concepts.