The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries
Summary: Nonrecursive-datalog rewritings for OWL 2 QL OMQs yield combined complexity LOGCFL (and NL for tree-shaped CQs with bounded leaves), so bounded-depth ontologies or bounded-treewidth/tree-shaped bounded-leaf CQs cause no complexity overhead. Negative results: answering OMQs is not FPT when parameterized by ontology depth or leaf-count; with a fixed infinite-depth ontology it is NP-complete for tree-shaped CQs and LOGCFL-complete for bounded-leaf CQs; rewritings are experimentally scalable. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Meghyn Bienvenu (Centre National de la Recherche Scientifique; University of Montpellier)
- 2. Stanislav Kikot (Birkbeck, University of London)
- 3. Roman Kontchakov (Birkbeck, University of London)
- 4. Vladimir V. Podolskii (National Research University Higher School of Economics; Steklov Mathematical Institute)
- 5. Vladislav Ryzhikov (Free University of Bolzano)
- 6. Michael Zakharyaschev (Birkbeck, University of London)
BibTeX Citation
@inproceedings{bienvenu_pods17,
address = {New York, NY, USA},
series = {{PODS} '17},
title = {{The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries}},
url = {https://dl.acm.org/doi/10.1145/3034786.3034791},
doi = {10.1145/3034786.3034791},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Bienvenu, Meghyn and Kikot, Stanislav and Kontchakov, Roman and Podolskii, Vladimir V. and Ryzhikov, Vladislav and Zakharyaschev, Michael},
year = {2017}
}
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,107 | Processing Queries on Tree-Structured Data Efficiently | 2006 | PODS | 6.8973582e-05 |
| 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.7490677e-05 |
| 6,623 | Teaching an RDBMS about ontological constraints | 2016 | VLDB | 5.8206367e-05 |
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,895 | The Tractability Frontier of Well-designed SPARQL Queries | 2018 | PODS |
| 2 | 7,118 | Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases | 2014 | VLDB |
| 3 | 414 | On the Complexity of Database Queries (Extended Abstract) | 1997 | PODS |
| 4 | 11,753 | The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs | 2020 | PODS |
| 5 | 5,347 | Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP | 2013 | PODS |
| 6 | 11,969 | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment | 2017 | PODS |
| 7 | 4,747 | High-Level Why-Not Explanations using Ontologies | 2015 | PODS |
| 8 | 8,479 | Optimizing Query Answering under Ontological Constraints | 2011 | VLDB |
| 9 | 6,623 | Teaching an RDBMS about ontological constraints | 2016 | VLDB |
| 10 | 9,291 | Efficiently Enumerating Answers to Ontology-Mediated Queries | 2022 | PODS |