Semantic in Bullets - Description Logic
- Ontology is a
- formal specification → machine understandable
- of a shared → group of people
- conceptualization → about concepts
- of domain of interest → between general description and individual use
- FOL is ausdrucksstark, aber semi-entscheidbar → Suche Fragement
- OWL1 basiert auf SHOIN(D)
- ALC kleinste DL die aussagen logisch deduktiv abgeschlossen
- Klassen, Rollen, Individuen
- Strikte / Offene Bindung einer Klasse an eine Rolle ( Existenz/Allquantor)
- Beschreibungsregel Symbolic
- ALC = Attribute Language with Complement
- S = ALC + Rollentransitivität
- H = Subrollen
- O = abgeschlossene Klassen
- I = inverse Rollen
- N = Zahlenrestriktionen
- Q = qualifizierte Zahlenrestriktionen
- (D) = Datentypen
- F = Funktionale Rollen
- R = Rollenkonstruktoren
- OWL1 DL = SHOIN(D)
- OWL2 DL = SHROIQ(D)
- Open/Closed World Assumption
- Inferenzprobleme
- Klasseninklusion, Klassenäquivalenz, Klassendisjunktheit, Klassenzugehörigkeit
- Rückführung auf Unerfüllbarkeit
- Tableau-Verfahren
- finde terminierende Bäume
- Regel
- Alpha: Kunjunktionen erweitern Pfad
- Beta: Disjunktionen splitten Pfad
- Delta: Existenzquantor durch neue Konstante ersetzen
- Gamma: Allquantor durch existierende Konstante