Polynomial Rewritings for Linear Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We consider the scenario of ontology-based query answering. It is generally accepted that true scalability in this setting can only be achieved via query rewriting, which in turn allows for the exploitation of standard RDBMSs. In this work, we close two open fundamental questions related to query rewriting. We establish that linear existential rules are polynomially combined rewritable, while full linear rules are polynomially (purely) rewritable; in both cases, the target query language consists of first-order or non-recursive Datalog queries. An immediate consequence of our results is that DLR-Lite_R, the extension of DL-Lite_R with n-ary roles, is polynomially combined rewritable.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
PublisherIJCAI Inc
Number of pages7
Publication statusPublished - 2015


Dive into the research topics of 'Polynomial Rewritings for Linear Existential Rules'. Together they form a unique fingerprint.

Cite this