Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

7.2 Attributive Konzeptbeschreibungssprachen (Description Logic)
Name Konstrukte implizite Konstrukte
AL ⊓, ⊥, ⊤, ¬A, ∀R.C, ∃R.⊤
ALC AL, ¬C ⊔,∃R.C
ALCN AL, ¬C, (≤ n R) ⊔, ∃R.C, (≥ n R)
ALN AL, (≤ n R) (≥ n R)
ALU AL, ⊔
ALE AL, ∃R.C
ALUN AL, ⊔, (≤ n R), (≥ n R)
ALEN AL, ∃R.C, (≤ n R), (≥ n R)
Die Sprachen ALC und ALCN spielen eine besondere Rolle, da sie sehr allgemein sind.
Man kann z.B. so viel repräsentieren wie Aussagenlogik, denn Schnitte, Vereinigungen
und Komplemente sind erlaubt (was gerade zum Kodieren von Konjunktion, Disjunktion
und Negation in der Aussagenlogik verwendet werden kann).
Es gibt noch weitere Konzeptsprachen, die aufgrund der Historie andere Namen (ungleich
vom Schema AL+Erweiterung) haben. Diese werden mit FL (für frame-based description
language) abgekürzt. Es gibt drei Varianten:
Name
FL 0
FL −
FL
Konstrukte
⊓, ∀R.C
⊓, ∀R.C, ∃R.⊤
⊓, ∀R.C, ∃R.C
Es gelten folgende Beziehungen zwischen den FL-Sprachen und den AL-Sprachen:
AL ≡ FL − ∪ {¬A, ⊤}
ALC ≡ FL − ∪ {¬C}
ALC ≡ FL ∪ {¬C}
Ebenso gibt es noch eine Erweiterung der ALUEN -Sprachen um den Schnitt von Rollen,
d.h. die Syntax ist erweitert, so dass man dort, wo sonst nur elementare Rollen verwendet
werden, den Schnitt von mehreren elementaren Rollen verwenden darf.
R : R 1 ⊓ R 2 Schnitt von Rollen
Die Namemsgebung ist dann entsprechend:
AL[U][E][N ][C][R]
Dies ergibt 8 weitere Sprachen in Erweiterung der ALUEN -Sprachen. Es gelten weitere
Sprach-Äquivalenzen: Da C immer U und E impliziert,
ist z.B. ALUCR = ALCR = ALECR
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 227 Stand: 31. Januar 2013