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 Datenbanken
T6.4
ABoxen vs Datenbanken
16
Kapitel 6
Instanzanfragen
ABoxen und Anfragebeantwortung
Übersicht
18
Vervollständigung
T6.5
Vervollständigung
20
Vervollständigung
T6.5 cont
Vervollständigung
T6.7
T6.8
22
Komplexität
Resultat
T6.9
24
Kapitel 5
Konjunktive Anfragen
ABoxen und Anfragebeantwortung
Instanzanfragen und ABoxen
26
Konjunktive Anfragen
Konjunktive Anfrage - Syntax
28
Konjunktive Anfrage - Syntax
T6.11
Konjunktive Anfrage - Notation
30
Konjunktive Anfrage - Semantik
T6.12
Konjunktive Anfrage - Semantik
T6.12 cont
32
Konjunktive Anfragen vs. Instanzanfragen
T6.13
Konjunktive Anfragen und SQL
34
Boolsche Anfragen
T6.15
Anfrageimplikation
36
Komplexität und Entscheidbarkeit
Konjunktive Anfragen mit Ungleichheit
T6.16
38
Domino Problem
Domino Problem
40
Die Reduktion
T6.17
Die Reduktion
42
Die Reduktion
T6.18
T6.19