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 6
ABoxen und Anfragebeantwortung
Ziel des Kapitels
4
Ziel des Kapitels
Kapitel 6
ABoxen und Anfragebeantwortung
Grundlagen
6
ABox - Syntax
T6.1
ABox – Semantik
T6.1 cont
8
Wissensbasis
Kapitel 6
Schlussfolgerungsprobleme
ABoxen und Anfragebeantwortung
10
Grundlegende Schlussfolgerungsprobleme
T6.2
Grundlegende Schlussfolgerungsprobleme
12
Reduktionen
T6.3
Anfragebeantwortung
T6.2cont
14
ABoxen vs Relationale Datenbanken
T6.4
ABoxen vs Relationale Datenbanken
T6.4cont
T6.4cont
16
ABoxen vs Datenbanken
Kapitel 6
Instanzanfragen
ABoxen und Anfragebeantwortung
18
Übersicht
Vervollständigung
20
Vervollständigung
Vervollständigung
22
Vervollständigung
T6.7
T6.8
Komplexität
24
Resultat
T6.10 T6.9
Kapitel 5
Konjunktive Anfragen
ABoxen und Anfragebeantwortung
26
Instanzanfragen und ABoxen
Konjunktive Anfragen
28
Konjunktive Anfrage - Syntax
T6.11
Konjunktive Anfrage - Notation
30
Konjunktive Anfrage - Semantik
T6.12
Konjunktive Anfrage - Semantik
32
Konjunktive Anfragen vs. Instanzanfragen
T6.14
Konjunktive Anfragen und SQL
34
Beantwortung konjunktiver Anfragen
Konjunktive Anfragen mit Ungleichheit
36
Konjunktive Anfragen mit Ungleichheit
Domino Problem
38
Domino Problem
Die Reduktion
T6.16
40
Die Reduktion
T6.17
Die Reduktion
T6.17 cont
T6.18
42
Nachbemerkung
Zusammenfassung
44
Kapitel 6
Query Rewriting
Ziel des Abschnitts
46
Generelle Annahmen
Query Rewriting
Datenkomplexität
Datenkompl. Komb. Kompl.
CQ in AC0 NP-c.
SQL in AC0 PSpace-c.
Datalog P-c. ExpTime-c.
Datenkomplexität
50
Rewritability: zu schön, um wahr zu sein?
T6.20
Query Rewriting
52
DL-Lite
T6.21
DL-Lite
T6.21 cont
54
Universelle Modelle
T6.22
Universelle Modelle
Universelle Modelle
T6.24
Rewritings
T6.25
Rewritings
Rewritings
T6.26
Rewritings
T6.27
T6.28