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

A

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.
A B C D E F G H I J K L M N O P Q R S T U V W Z