Innsbruck Tutorial on Description Logics

Tutorial material available on line:

• Slides:
• A Brief Introduction to the Semantic Web
• An Introduction to Description Logics
• Reasoning with OWL (Why did that happen?)
• Description Logic Reasoning (How did that happen?)
• Basic Tableux Algorithms
• Advanced Reasoning Techniques
• Implementation Techniques
• Research Challenges
• An Introduction to OilEd
• Demonstration Ontologies:
• People and Pets