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
T7.2 cont
8
EL
T7.3
Kapitel 3
Subsumtion ohne TBox
10
Subsumtion ohne TBox
Subsumtion ohne TBox
T7.4
12
Subsumtion ohne TBox
T7.5
T7.6
Kapitel 3
Subsumtion mit TBox
Subsumtion mit TBox
Subsumtion mit TBox
•
T7.7
16
Subsumtion mit TBox
Subsumtion mit TBox
T7.8
18
Subsumtion mit TBox
T7.10
T7.9
Subsumtion mit TBox
T7.11
20
Vergleich mit Tableau-Algorithmus
Kapitel 3
Erweiterungen von EL
22
Erweiterungen von EL
Erweiterungen von EL
24
Erweiterungen von EL
T7.12
Erweiterungen von EL
T7.13
26
Erweiterungen von EL
T7.14
Erweiterungen von EL
28