Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
fuzzydl.Concept

Packages that use Concept
fuzzydl   
fuzzydl.parser   
fuzzydl.util   
 

Uses of Concept in fuzzydl
 

Subclasses of Concept in fuzzydl
 class CrispConcreteConcept
          Concrete concept defined with a crisp interval.
 class FuzzyConcreteConcept
          Fuzzy concrete concept defined with an explicit membership function.
 class LeftConcreteConcept
          Fuzzy concrete concept defined with a left shoulder function.
 class LinearlyModifiedConcept
          Fuzzy concept modified with a linear modifier.
 class ModifiedConcept
          Modified fuzzy concept.
 class RightConcreteConcept
          Fuzzy concrete concept defined with a right shoulder function.
 class TrapezoidalConcreteConcept
          Fuzzy concrete concept defined with a trapezoidal function.
 class TriangularConcreteConcept
          Fuzzy concrete concept defined with a triangular function.
 class TriangularFuzzyNumber
          Fuzzy number defined with a triangular function.
 class TriangularlyModifiedConcept
          Fuzzy concept modified with a triangular modifier.
 class WeightedSumConcept
          Weighted sum concept.
 

Fields in fuzzydl declared as Concept
 Concept Concept.c1
          In some complex concepts, it is a simpler concept.
protected  Concept SubsumptionQuery.c1
          Subsumed concept
 Concept Concept.c2
          In some complex (binary) concepts, it is a simpler concept.
protected  Concept SubsumptionQuery.c2
          Subsumer concept
protected  Concept DefuzzifyQuery.conc
           
protected  Concept InstanceQuery.conc
           
protected  Concept SatisfiableQuery.conc
          Fuzzy concept.
static Concept Concept.CONCEPT_BOTTOM
          Gets a bottom concept.
static Concept Concept.CONCEPT_TOP
          Gets a top concept.
 

Fields in fuzzydl with type parameters of type Concept
 java.util.Hashtable<java.lang.String,Concept> KnowledgeBase.atomicConcepts
          Fuzzy concepts.
 java.util.Hashtable<java.lang.String,java.util.HashSet<Concept>> KnowledgeBase.domainRestrictions
           
 java.util.Hashtable<java.lang.String,java.util.HashSet<Concept>> KnowledgeBase.rangeRestrictions
           
 

Methods in fuzzydl that return Concept
 Concept KnowledgeBase.addDatatypeRestriction(int restrictionType, java.lang.Object o, java.lang.String fName)
          Adds a datatype restriction of the form (restrictionType, fName, o).
static Concept Concept.all(java.lang.String role, Concept c)
          Gets a new universal restriction concept.
static Concept Concept.and(Concept c1, Concept c2)
          Gets a new conjunction concept.
static Concept Concept.and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.atLeastValue(java.lang.String role, java.lang.Object o)
          Gets a new at-least datatype restriction concept.
static Concept Concept.atMostValue(java.lang.String role, java.lang.Object o)
          Gets a new at-most datatype restriction concept.
 Concept CrispConcreteConcept.complement()
           
abstract  Concept FuzzyConcreteConcept.complement()
          Gets the complement of the concept.
 Concept LeftConcreteConcept.complement()
           
 Concept LinearlyModifiedConcept.complement()
           
abstract  Concept ModifiedConcept.complement()
          Gets the complement of the concept.
 Concept RightConcreteConcept.complement()
           
 Concept TrapezoidalConcreteConcept.complement()
           
 Concept TriangularConcreteConcept.complement()
           
 Concept TriangularFuzzyNumber.complement()
           
 Concept TriangularlyModifiedConcept.complement()
           
 Concept WeightedSumConcept.complement()
          Gets the complement of the concept.
static Concept Concept.complement(Concept c)
          Gets the complement of the concept.
static Concept Concept.exactValue(java.lang.String role, java.lang.Object o)
          Gets a new exact datatype restriction concept.
static Concept Concept.extendedNegThreshold(Variable w, Concept c)
          Gets a new extended negative threshold concept.
static Concept Concept.extendedPosThreshold(Variable w, Concept c)
          Gets a new extended positive threshold concept.
static Concept Concept.g_and(Concept c1, Concept c2)
          Gets a new Goedel conjunction concept.
static Concept Concept.g_and(java.util.HashSet<Concept> c)
          Gets a new Goedel conjunction concept.
static Concept Concept.g_and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.g_implies(Concept c1, Concept c2)
          Gets a new Goedel implication concept.
static Concept Concept.g_or(Concept c1, Concept c2)
          Gets a new Goedel disjunction concept.
static Concept Concept.g_or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
 Concept Assertion.getConcept()
          Gets the concept.
 Concept Restriction.getConcept()
          Gets the fuzzy concept.
 Concept WeightedConcept.getConcept()
          Gets the concept.
 Concept KnowledgeBase.getConcept(java.lang.String name)
          Gets a concept with indicated name.
 Concept PrimitiveConceptDefinition.getDefinition()
          Gets the definition.
 Concept GeneralConceptInclusion.getSubsumed()
          Gets the subsumed concept.
 Concept GeneralConceptInclusion.getSubsumer()
          Gets the subsumer concept.
static Concept Concept.kd_implies(Concept c1, Concept c2)
          Gets a new Kleene-Dienes implication concept.
static Concept Concept.l_and(Concept c1, Concept c2)
          Gets a new Lukasiewicz conjunction concept.
static Concept Concept.l_and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.l_implies(Concept c1, Concept c2)
          Gets a new Lukasiewicz implication concept.
static Concept Concept.l_or(Concept c1, Concept c2)
          Gets a new Lukasiewicz disjunction concept.
static Concept Concept.l_or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
static Concept Concept.looseLowerApprox(java.lang.String role, Concept c)
          Gets a new loose lower fuzzy rough concept.
static Concept Concept.looseUpperApprox(java.lang.String role, Concept c)
          Gets a new loose upper fuzzy rough concept.
static Concept Concept.lowerApprox(java.lang.String role, Concept c)
          Gets a new lower fuzzy rough concept.
 Concept LinearModifier.modify(Concept c)
           
abstract  Concept Modifier.modify(Concept c)
          Modifies a fuzzy concept
 Concept TriangularModifier.modify(Concept c)
           
static Concept Concept.negThreshold(double w, Concept c)
          Gets a new negative threshold concept.
static Concept Concept.newAtomicConcept()
          Gets a new atomic concept.
static Concept Concept.or(Concept c1, Concept c2)
          Gets a new disjunction concept.
static Concept Concept.or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
static Concept Concept.posThreshold(double w, Concept c)
          Gets a new positive threshold concept.
static Concept Concept.self(java.lang.String role)
          Gets a new local reflexivity concept.
static Concept Concept.some(java.lang.String role, Concept c)
          Gets a new existential restriction concept.
static Concept Concept.tightLowerApprox(java.lang.String role, Concept c)
          Gets a new tight lower fuzzy rough concept.
static Concept Concept.tightUpperApprox(java.lang.String role, Concept c)
          Gets a new tight upper fuzzy rough concept.
static Concept Concept.upperApprox(java.lang.String role, Concept c)
          Gets a new upper fuzzy rough concept.
static Concept Concept.weightedConcept(double w, Concept c)
          Gets a new weighted concept.
static Concept Concept.z_implies(Concept c1, Concept c2)
          Gets a new implication concept under Zadeh semantics.
 

Methods in fuzzydl that return types with arguments of type Concept
 java.util.HashSet<Concept> Concept.getAtomicConcepts()
          Gets a set of the atomic concepts that compose the current concept.
 java.util.HashSet<Concept> WeightedSumConcept.getAtomicConcepts()
           
 

Methods in fuzzydl with parameters of type Concept
 void KnowledgeBase.addAssertion(Individual a, Concept c, Degree n)
          Adds a fuzzy assertion of the form (a : C \geq 1 )
static Concept Concept.all(java.lang.String role, Concept c)
          Gets a new universal restriction concept.
static Concept Concept.and(Concept c1, Concept c2)
          Gets a new conjunction concept.
 void KnowledgeBase.checkRole(java.lang.String roleName, Concept conc)
          Checks the disjointness between abstract and concrete roles.
static Concept Concept.complement(Concept c)
          Gets the complement of the concept.
 void KnowledgeBase.defineAtomicConcept(java.lang.String conceptName, Concept conc, int implication, double n)
          Adds an atomic fuzzy concept definition.
 void KnowledgeBase.defineConcept(java.lang.String conceptName, Concept conc)
          Adds a fuzzy concept definition.
static Concept Concept.extendedNegThreshold(Variable w, Concept c)
          Gets a new extended negative threshold concept.
static Concept Concept.extendedPosThreshold(Variable w, Concept c)
          Gets a new extended positive threshold concept.
static Concept Concept.g_and(Concept c1, Concept c2)
          Gets a new Goedel conjunction concept.
static Concept Concept.g_implies(Concept c1, Concept c2)
          Gets a new Goedel implication concept.
 void KnowledgeBase.g_implies(Concept conc1, Concept conc2, Degree degree)
          Adds a Goedel GCI.
static Concept Concept.g_or(Concept c1, Concept c2)
          Gets a new Goedel disjunction concept.
 void KnowledgeBase.implies(Concept conc1, Concept conc2, Degree degree)
          Adds a GCI (conc1, conc2, degree)
static Concept Concept.kd_implies(Concept c1, Concept c2)
          Gets a new Kleene-Dienes implication concept.
 void KnowledgeBase.kd_implies(Concept conc1, Concept conc2, Degree degree)
          Adds a Kleene-Dienes GCI.
static Concept Concept.l_and(Concept c1, Concept c2)
          Gets a new Lukasiewicz conjunction concept.
static Concept Concept.l_implies(Concept c1, Concept c2)
          Gets a new Lukasiewicz implication concept.
 void KnowledgeBase.l_implies(Concept conc1, Concept conc2, Degree degree)
          Adds a Lukasiewicz GCI.
static Concept Concept.l_or(Concept c1, Concept c2)
          Gets a new Lukasiewicz disjunction concept.
static Concept Concept.looseLowerApprox(java.lang.String role, Concept c)
          Gets a new loose lower fuzzy rough concept.
static Concept Concept.looseUpperApprox(java.lang.String role, Concept c)
          Gets a new loose upper fuzzy rough concept.
static Concept Concept.lowerApprox(java.lang.String role, Concept c)
          Gets a new lower fuzzy rough concept.
 Concept LinearModifier.modify(Concept c)
           
abstract  Concept Modifier.modify(Concept c)
          Modifies a fuzzy concept
 Concept TriangularModifier.modify(Concept c)
           
static Concept Concept.negThreshold(double w, Concept c)
          Gets a new negative threshold concept.
static Concept Concept.or(Concept c1, Concept c2)
          Gets a new disjunction concept.
static Concept Concept.posThreshold(double w, Concept c)
          Gets a new positive threshold concept.
 void KnowledgeBase.roleDomain(java.lang.String role, Concept conc)
          Adds a domain funcRole axiom.
 void KnowledgeBase.roleRange(java.lang.String role, Concept conc)
          Adds a funcRole range axiom.
static Concept Concept.some(java.lang.String role, Concept c)
          Gets a new existential restriction concept.
static Concept Concept.tightLowerApprox(java.lang.String role, Concept c)
          Gets a new tight lower fuzzy rough concept.
static Concept Concept.tightUpperApprox(java.lang.String role, Concept c)
          Gets a new tight upper fuzzy rough concept.
static Concept Concept.upperApprox(java.lang.String role, Concept c)
          Gets a new upper fuzzy rough concept.
static Concept Concept.weightedConcept(double w, Concept c)
          Gets a new weighted concept.
static Concept Concept.z_implies(Concept c1, Concept c2)
          Gets a new implication concept under Zadeh semantics.
 void KnowledgeBase.z_implies(Concept conc1, Concept conc2)
          Adds a Lukasiewicz GCI.
 

Method parameters in fuzzydl with type arguments of type Concept
 void KnowledgeBase.addEquivalentConcepts(java.util.Vector<Concept> equivConcepts)
          Adds some equivalent concept axioms.
static Concept Concept.and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.g_and(java.util.HashSet<Concept> c)
          Gets a new Goedel conjunction concept.
static Concept Concept.g_and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.g_or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
static Concept Concept.l_and(java.util.Vector<Concept> v)
          Gets a new conjunction concept.
static Concept Concept.l_or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
static Concept Concept.or(java.util.Vector<Concept> v)
          Gets a new disjunction concept.
 

Constructors in fuzzydl with parameters of type Concept
Assertion(Individual a, Concept c, Degree l)
           
AtomicAssertion(Concept c, Degree degree)
           
Concept(int type, Concept c1, Concept c2, java.lang.String name)
           
Concept(int type, double w, Concept c)
           
Concept(int type, java.lang.String role, Concept c)
           
Concept(int type, Variable w, Concept c)
           
DefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
           
DomainAxiom(java.lang.String role, Concept concept)
           
GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)
           
Label(Concept concept, Degree weight)
           
LinearlyModifiedConcept(Concept c, Modifier mod)
           
LinearlyModifiedConcept(Concept c, Modifier mod, java.lang.String name, int type)
           
LomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
           
MaxInstanceQuery(Concept concept, Individual individual)
           
MaxSatisfiableQuery(Concept c)
          Constructor for a general satisfiability query.
MaxSatisfiableQuery(Concept c, Individual a)
          Constructor for a satisfiability query involving a specific individual.
MaxSubsumesQuery(Concept c1, Concept c2, int type)
           
MinInstanceQuery(Concept concept, Individual individual)
           
MinSatisfiableQuery(Concept c)
          Constructor for a general satisfiability query.
MinSatisfiableQuery(Concept c, Individual a)
          Constructor for a satisfiability query involving a specific individual.
MinSubsumesQuery(Concept c1, Concept c2, int type)
           
ModifiedConcept(Concept c, Modifier mod)
           
ModifiedConcept(Concept c, Modifier mod, java.lang.String name, int type)
           
MomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)
           
PrimitiveConceptDefinition(java.lang.String defined, Concept definition, int implication, double degree)
           
RangeAxiom(java.lang.String role, Concept concept)
           
Restriction(java.lang.String roleName, Concept concept, Degree degree)
           
SomDefuzzifyQuery(Concept c, Individual ind, java.lang.String fName)
           
TriangularlyModifiedConcept(Concept c, Modifier mod)
           
TriangularlyModifiedConcept(Concept c, Modifier mod, java.lang.String name, int type)
           
WeightedConcept(double weight, Concept concept)
          Constructor.
 

Uses of Concept in fuzzydl.parser
 

Methods in fuzzydl.parser with parameters of type Concept
 void Parser.checkAbstract(Concept c)
          Checks whether a concept is abstract.
 

Uses of Concept in fuzzydl.util
 

Method parameters in fuzzydl.util with type arguments of type Concept
static void Util.order(java.util.Vector<Concept> v)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES