1. Introduction to Description Logics 1.1 Preliminaries 2. Description Logics as Ontology Languages 3. Standard Expressive Means in DLs 4. Introduction to Tableau Algorithms for DLs 4.1 Other Reasoning Techniques 5. DLs with Expressive Operators on Roles 5.1 Adding Transitivity 5.2 Further Adding Inverse Roles 5.3 Further Adding Role Inclusion Axioms 5.4 Further Adding Number Restrictions 5.5 Further Adding More Expressive Role Inclusion Axioms.
展开▼