Epistemic Querying of OWL Knowledge Bases

Abstract

Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results.

DOI: 10.1007/978-3-642-21034-1_27

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@inproceedings{Mehdi2011EpistemicQO, title={Epistemic Querying of OWL Knowledge Bases}, author={Anees Mehdi and Sebastian Rudolph and Stephan Grimm}, booktitle={ESWC}, year={2011} }