Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering
Abstract
Existential rules, also known as data dependencies in Databases, have been recently rediscovered as a promising family of languages for Ontology-based Query Answering. In this paper, we prove that disjunctive embedded dependencies exactly capture the class of recursively enumerable ontologies in Ontology-based Conjunctive Query Answering (OCQA). Our expressive completeness result does not rely on any built-in linear order on the database. To establish the expressive completeness, we introduce a novel semantic definition for OCQA ontologies. We also show that neither the class of disjunctive tuple-generating dependencies nor the class of embedded dependencies is expressively complete for recursively enumerable OCQA ontologies.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2016
- DOI:
- 10.48550/arXiv.1604.05006
- arXiv:
- arXiv:1604.05006
- Bibcode:
- 2016arXiv160405006Z
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Databases;
- Computer Science - Logic in Computer Science
- E-Print:
- 10 pages