KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-399632

Epistemic Reasoning in OWL 2 DL

Ul Mehdi, Anees

Abstract:
We extend the description logic SROIQ (OWL 2 DL) with the epistemic operator K and argue that unintended effects occur when imposing the semantics traditionally employed. Consequently, we identify the most expressive DL for which the traditional approach can still be adapted. For the epistemic extension of SROIQ and alike expressive DLs, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Jahr 2014
Sprache Englisch
Identifikator KITopen ID: 1000039963
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Institut Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Prüfungsdaten 13.02.2014
Referent/Betreuer Prof. R. Studer
Schlagworte Ontology, reasoning, local-closed world, non-monotonic reasoning
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page