1

Kapitel 4

Tableau-Algorithmen

2

Ziel des KapitelsZiel des Kapitels

3

Ziel des Kapitels

4

Kapitel 4

Entscheidbarkeit

Tableau-Algorithmen

5

Entscheidbarkeit 1

6

Entscheidbarkeit 2

7

Entscheidbarkeit 3

T4.0

8

Entscheidbarkeit 3

T4.1

9

Entscheidbarkeit 3

10

Algorithmen in der Praxis

11

Praktikable Algorithmen

12

Kapitel 4

ALC ohne TBoxen

Tableau-Algorithmen

13

Tableau Algorithmus

14

Negationsnormalform

T4.2

15

I-Baum

T4.3

16

I-Baum

T4.4

17

Tableau Algorithmus

18

Tableau Regeln

19

Tableau Regeln

20

Tableau Algorithmus

21

T4.5

Ergebnis

22

Lokale Korrektheit

T4.6

23

Terminierung

T4.7

24

Rollentiefe

25

Multimengen

26

Multimengen

27

Multimengen

28

Korrektheit und Vollständigkeit

T4.8

T4.9

29

Komplexitätsanalyse

T4.10

30

Praktikabilität

31

Optimierungen: Backjumping

T4.11

32

Optimierungen: Caching

33

Optimierungen

34

Kapitel 4

ALC mit generellen TBoxen

Tableau-Algorithmen

35

Tableau-Algorithmus

T!!

36

Tableau-Algorithmus

T4.12

37

Blockieren

38

Blockieren

T4.13

39

Blockieren

40

Tableau-Algorithmus

41

Tableau-Algorithmus

T4.14

T4.15

42

Komplexitätsanalyse

T4.16

43

Bemerkung zur TBox-Regel

44

Kapitel 4

Erweiterungen von ALC

Tableau-Algorithmen

45

Erweiterungen

46

Erweiterungen