Polynomial combined first-order rewritings for linear and guarded existential rules
We consider the problem of ontological query answering, that is, the problem of answering a database query (typically a conjunctive query) in the presence of an ontology. This means that during the query answering process we also need to take into account the knowledge that can be inferred from the...
| Hlavní autoři: | , , |
|---|---|
| Médium: | Journal article |
| Jazyk: | English |
| Vydáno: |
Elsevier
2023
|
| _version_ | 1826310760674885632 |
|---|---|
| author | Gottlob, G Manna, M Pieris, A |
| author_facet | Gottlob, G Manna, M Pieris, A |
| author_sort | Gottlob, G |
| collection | OXFORD |
| description | We consider the problem of ontological query answering, that is, the problem of answering a database query (typically a conjunctive query) in the presence of an ontology. This means that during the query answering process we also need to take into account the knowledge that can be inferred from the given database and ontology. Building, however, ontology-aware database systems from scratch, with sophisticated optimization techniques, is a highly non-trivial task that requires a great engineering effort. Therefore, exploiting conventional database systems is an important route towards efficient ontological query answering. Nevertheless, standard database systems are unaware of ontologies. An approach to ontological query answering that enables the use of standard database systems is the so-called polynomial combined query rewriting, originally introduced in the context of description logics: the conjunctive query q and the ontology Σ are rewritten in polynomial time into a first-order query qΣ (in a database-independent way), while the database D and the ontology Σ are rewritten in polynomial time into a new database DΣ (in a query-independent way), such that the answer to q in the presence of Σ over D coincides with the answer to qΣ over DΣ. The latter can then be computed by exploiting a conventional database system. In this work, we focus on linear and guarded existential rules, which form robust rule-based languages for modeling ontologies, and investigate the limits of polynomial combined query rewriting. In particular, we show that this type of rewriting can be successfully applied to (i) linear existential rules when the rewritten query can use the full power of first-order queries, (ii) linear existential rules when the arity of the underlying schema is fixed and the rewritten query is positive existential, namely it uses only existential quantification, conjunction, and disjunction, and (iii) guarded existential rules when the underlying schema is fixed and the rewritten query is positive existential. We can show that the above results reach the limits (under standard complexity-theoretic assumptions such as [Formula presented]) of polynomial combined query rewriting in the case of linear and guarded existential rules. |
| first_indexed | 2024-03-07T07:58:13Z |
| format | Journal article |
| id | oxford-uuid:ebcec79a-25ae-4e17-8337-c8e90c01467c |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T07:58:13Z |
| publishDate | 2023 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:ebcec79a-25ae-4e17-8337-c8e90c01467c2023-08-24T15:24:38ZPolynomial combined first-order rewritings for linear and guarded existential rulesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:ebcec79a-25ae-4e17-8337-c8e90c01467cEnglishSymplectic ElementsElsevier2023Gottlob, GManna, MPieris, AWe consider the problem of ontological query answering, that is, the problem of answering a database query (typically a conjunctive query) in the presence of an ontology. This means that during the query answering process we also need to take into account the knowledge that can be inferred from the given database and ontology. Building, however, ontology-aware database systems from scratch, with sophisticated optimization techniques, is a highly non-trivial task that requires a great engineering effort. Therefore, exploiting conventional database systems is an important route towards efficient ontological query answering. Nevertheless, standard database systems are unaware of ontologies. An approach to ontological query answering that enables the use of standard database systems is the so-called polynomial combined query rewriting, originally introduced in the context of description logics: the conjunctive query q and the ontology Σ are rewritten in polynomial time into a first-order query qΣ (in a database-independent way), while the database D and the ontology Σ are rewritten in polynomial time into a new database DΣ (in a query-independent way), such that the answer to q in the presence of Σ over D coincides with the answer to qΣ over DΣ. The latter can then be computed by exploiting a conventional database system. In this work, we focus on linear and guarded existential rules, which form robust rule-based languages for modeling ontologies, and investigate the limits of polynomial combined query rewriting. In particular, we show that this type of rewriting can be successfully applied to (i) linear existential rules when the rewritten query can use the full power of first-order queries, (ii) linear existential rules when the arity of the underlying schema is fixed and the rewritten query is positive existential, namely it uses only existential quantification, conjunction, and disjunction, and (iii) guarded existential rules when the underlying schema is fixed and the rewritten query is positive existential. We can show that the above results reach the limits (under standard complexity-theoretic assumptions such as [Formula presented]) of polynomial combined query rewriting in the case of linear and guarded existential rules. |
| spellingShingle | Gottlob, G Manna, M Pieris, A Polynomial combined first-order rewritings for linear and guarded existential rules |
| title | Polynomial combined first-order rewritings for linear and guarded existential rules |
| title_full | Polynomial combined first-order rewritings for linear and guarded existential rules |
| title_fullStr | Polynomial combined first-order rewritings for linear and guarded existential rules |
| title_full_unstemmed | Polynomial combined first-order rewritings for linear and guarded existential rules |
| title_short | Polynomial combined first-order rewritings for linear and guarded existential rules |
| title_sort | polynomial combined first order rewritings for linear and guarded existential rules |
| work_keys_str_mv | AT gottlobg polynomialcombinedfirstorderrewritingsforlinearandguardedexistentialrules AT mannam polynomialcombinedfirstorderrewritingsforlinearandguardedexistentialrules AT pierisa polynomialcombinedfirstorderrewritingsforlinearandguardedexistentialrules |