Epistemic querying of OWL knowledge bases

Authors:
Anees Mehdi;Sebastian Rudolph;Stephan Grimm
Affiliations:
Institute AIFB, Karlsruhe Institute of Technology, DE;Institute AIFB, Karlsruhe Institute of Technology, DE;Forschungszentrum Informatik Karlsruhe, DE
Venue:
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Year:
2011

Citing 8
Cited 2

Foundations of a functional approach to knowledge representation.

Artificial Intelligence
Attributive concept descriptions with complements

Artificial Intelligence
What should a database know?

Journal of Logic Programming
An epistemic operator for description logics

Artificial Intelligence
Non-first-order features in concept languages

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Autoepistemic description logics

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
EQL-lite: effective first-order query processing in description logics

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reconciling description logics and rules

Journal of the ACM (JACM)

On directly mapping relational databases to RDF and OWL

Proceedings of the 21st international conference on World Wide Web
Ontology-based data access with closed predicates is inherently intractable (sometimes)

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.