Practical Epistemic Entailment Checking in SROIQ

In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semantics in epistemic extensions of expressive description logics (DLs). Thus, we provide a revised downward compatible semantics with a more intuitive behavior in such cases. Based on the new semantics, we present a reduction method for epistemic queries to standard DL reasoning. This enables us to deploy state-of-the-art DL reasoners for such non-standard inferences. Additionally, we provide an implementation of our approach and present first evaluation results.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Anees Mehdi, Sebastian Rudolph
• Keywords: Automated Reasoning, DLOG 2011, Expressive Description Logics, Knowledge Bases, Reasoner