Revisiting Semantics for Epistemic Extensions of Description Logics

Authors

  • Anees Mehdi Karlsruhe Institute of Technology
  • Sebastian Rudolph Karlsruhe Institute of Technology

Abstract

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 traditionally employed semantics 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 of 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.

Downloads

Published

2011-08-04

How to Cite

Mehdi, A., & Rudolph, S. (2011). Revisiting Semantics for Epistemic Extensions of Description Logics. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 241-246. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/7848

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning