Revisiting Semantics for Epistemic Extensions of Description Logics

Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph

Download

Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Technical Report, Institut AIFB, KIT, August 2011

Details
Bibtex

KurzfassungAbstract
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended effects occur when imposing the semantics traditionally employed on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs. Moreover, we introduce a way of answering epistemic queries to OWL knowledge bases by a reduction to standard OWL reasoning. We provide an implementation of our approach and present first evaluation results.
Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@techreport{MR2011,
  author      = {Anees ul Mehdi and Sebastian Rudolph},
  title       = {Revisiting Semantics for Epistemic Extensions of Description
                 Logics},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2011},
  month       = {August}
}