Fuzzy Description Language Reasonear and Fuzzy OWL 2 ontology handler documentation
Welcome to fuzzy_dl_owl2’s documentation!
Contents:
- Fuzzy DL OWL 2
- Funding
- Installation and Configuration
- Fuzzy Description Logic Grammatics
- String and Numbers
- Define the semantics of the knowledge base
- Define truth constants
- Define modifiers
- Define concrete fuzzy concepts
- Define fuzzy numbers
- Define Features, i.e., functional datatypes
- Datatype/feature restrictions
- Datatype Restriction Operations
- Greater Than or Equal Restrictions with Variables
- Less Than or Equal Restrictions with Variables
- Equality Restrictions with Variables
- Greater Than or Equal Restrictions with Fuzzy Numbers
- Less Than or Equal Restrictions with Fuzzy Numbers
- Equality Restrictions with Fuzzy Numbers
- Function-Based Restrictions
- Variable and Value Constraints
- MILP Solver Constraints
- Constraints
- Show statements
- Crisp declarations
- Fuzzy relations
- Concept expressions
- Basic Concept Expressions
- Top Concept
- Bottom Concept
- Atomic Concepts
- Concrete Fuzzy Concepts
- Datatype Restrictions
- Logical Connectives
- Standard Conjunction
- Goedel Conjunction
- Lukasiewicz Conjunction
- Standard Disjunction
- Goedel Disjunction
- Lukasiewicz Disjunction
- Negation
- Implication Operations
- Standard Implication
- Goedel Implication
- Lukasiewicz Implication
- Kleene-Dienes Implication
- Role Restrictions
- Universal Role Restriction
- Existential Role Restriction
- Individual Value Restriction
- Approximation Concepts
- Upper Approximation
- Loose Upper Approximation
- Tight Upper Approximation
- Lower Approximation
- Loose Lower Approximation
- Tight Lower Approximation
- Special Concept Constructs
- Self Reflexivity
- Modified Concepts
- Fuzzy Numbers in Concepts
- Threshold Concepts
- Weighted Concepts
- Basic Weighted Concept
- Weighted Sum
- Weighted Maximum
- Weighted Minimum
- Weighted Sum Zero
- Aggregation Operators
- OWA Aggregation
- Quantifier-Guided OWA
- Choquet Integral
- Sugeno Integral
- Quasi-Sugeno Integral
- Sigma-Count Concept
- Important Constraints and Notes
- Axioms
- Assertion Axioms
- Concept Assertions
- Role Assertions
- General Concept Inclusion Axioms
- Standard General Concept Inclusion
- Goedel General Concept Inclusion
- Kleene-Dienes General Concept Inclusion
- Lukasiewicz General Concept Inclusion
- Zadeh General Concept Inclusion
- Concept Definition Axioms
- Complete Concept Definition
- Primitive Concept Definition
- Concept Equivalence
- Concept Disjointness and Union
- Concept Disjointness
- Disjoint Union
- Role Restriction Axioms
- Role Range Restriction
- Role Domain Restriction
- Role Property Axioms
- Functional Roles
- Inverse Functional Roles
- Reflexive Roles
- Symmetric Roles
- Transitive Roles
- Role Relationship Axioms
- Role Implication
- Inverse Roles
- Important Constraints
- Queries
- Knowledge Base Consistency Queries
- Satisfiability Check
- Instance Membership Queries
- Maximum Instance Membership
- Minimum Instance Membership
- All Instance Memberships
- Role Relationship Queries
- Maximum Role Relationship
- Minimum Role Relationship
- Concept Subsumption Queries
- Maximum Standard Subsumption
- Minimum Standard Subsumption
- Maximum Goedel Subsumption
- Minimum Goedel Subsumption
- Maximum Lukasiewicz Subsumption
- Minimum Lukasiewicz Subsumption
- Maximum Kleene-Dienes Subsumption
- Minimum Kleene-Dienes Subsumption
- Concept Satisfiability Queries
- Maximum Concept Satisfiability
- Minimum Concept Satisfiability
- Variable Optimization Queries
- Maximum Variable Value
- Minimum Variable Value
- Defuzzification Queries
- Largest of Maxima Defuzzification
- Middle of Maxima Defuzzification
- Smallest of Maxima Defuzzification
- Fuzzy Number Performance Analysis
- Best Non-Fuzzy Performance
- Important Notes on Defuzzification
- Fuzzy Concepts
- Fuzzy OWL 2 XML Annotations
- Usage
- API Reference