Struktur Vorlesung
• Kapitel 1: Einleitung
• Kapitel 2: Grundlagen
• Kapitel 3: Ausdrucksstärke und Modellkonstruktionen
• Kapitel 4: Tableau Algorithmen
• Kapitel 5: Komplexität
• Kapitel 6: ABoxen und Anfragebeantwortung
• Kapitel 7: Effiziente Beschreibungslogiken
2
Kapitel 7
Effiziente Beschreibungslogiken
Ziel des Kapitels
4
EL
Simulation
1.
2.
T7.1
6
Simulation
Simulation
T7.2
8
EL
T7.3
Kapitel 3
Subsumtion ohne TBox
10
Subsumtion ohne TBox
T7.4
T7.5
Subsumtion ohne TBox
T7.6
12
Kapitel 3
Subsumtion mit TBox
Subsumtion mit TBox
•
•
14
Subsumtion mit TBox
Subsumtion mit TBox
16
T7.9
Subsumtion mit TBox
T7.11
T7.10
Kapitel 3
Erweiterungen von EL
18
Erweiterungen von EL
Erweiterungen von EL
20
Erweiterungen von EL
T7.12
Erweiterungen von EL
22
Erweiterungen von EL
Erweiterungen von EL
24