Logic
Prädikatenlogik- besteht aus Fakten
Frist Order Logik
- ergänzt um Existenz und Allquantoren (uneingeschränkt)
Beschreibungslogiken
- entscheidbare Untermenge der FOL
- TBox und ABox
- terminologisches Wissen (Konzepte einer Domäne)
- Concepte beschreiben Klassen (unär)
- Rollen beschreiben Eigenschaften (binär)
- assertionales Wissen (Instanzen)
- Individuals (Konstanten, Ausprägungen)
- Operatoren und Konstruktoren
- Konjunktion, Disjunktion, Negation, eingeschränkte Quantifizierung
→ Basis Beschreibungslogik ALC (attribute language with complement)
ALC
- ergänzt Top und Bottom Konzept
- Klasseninklusion und -gleichheit
- TBox: Struktur der modellierten Domäne
- ABox: Axiome die konkrete Daten beschreiben
Operatoren und Logiken
- FL → Konjunktion, Werterestriktion, Existenzquantor
- AL* → Top, Bootom, Negation(C), Disjunktion, existentielle Restriktion, Zahlenrestriktion(N), Menge von Individuen(O)
- S* → FL und AL*
- H → Beziehunghierarchie
- I → inverse Beziehungen
- Q → qualifizierte Zahlenrestriktionen