Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP
Summary: Characterizes expressive power of ontology-mediated queries (CQs paired with DL/guarded/unary‑negation ontologies) via fragments of disjunctive Datalog and bijections to CSPs and MMSNP. Leverages these correspondences to get new criteria for FO-/Datalog‑rewritability, P/NP dichotomies, and decidability/complexity of query containment. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Meghyn Bienvenu (Centre National de la Recherche Scientifique; Paris-Sud University)
- 2. Balder ten Cate (University of California Santa Cruz)
- 3. Carsten Lutz (University of Bremen)
- 4. Frank Wolter (University of Liverpool)
BibTeX Citation
@inproceedings{bienvenu_pods13,
address = {New York, NY, USA},
series = {{PODS} '13},
title = {{Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP}},
url = {https://dl.acm.org/doi/10.1145/2463664.2465223},
doi = {10.1145/2463664.2465223},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Bienvenu, Meghyn and Cate, Balder ten and Lutz, Carsten and Wolter, Frank},
year = {2013}
}
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,747 | High-Level Why-Not Explanations using Ontologies | 2015 | PODS | 6.5252099e-05 |
| 6,785 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 5.7758194e-05 |
| 9,291 | Efficiently Enumerating Answers to Ontology-Mediated Queries | 2022 | PODS | 5.2910144e-05 |
| 11,363 | Extremal Fitting Problems for Conjunctive Queries | 2023 | PODS | 5.093636e-05 |
| 11,639 | Deciding Boundedness of Monadic Sirups | 2021 | PODS | 5.093636e-05 |
| 11,753 | The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs | 2020 | PODS | 5.093636e-05 |
| 11,893 | Containment for Rule-Based Ontology-Mediated Queries | 2018 | PODS | 5.093636e-05 |
| 11,969 | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment | 2017 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,630 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00010180625 |
| 2,215 | Characterizing Schema Mappings via Data Examples | 2010 | PODS | 8.93781e-05 |
| 2,481 | A General Datalog-Based Framework for Tractable Query Answering over Ontologies | 2009 | PODS | 8.5196153e-05 |
| 4,163 | Queries with Guarded Negation | 2012 | VLDB | 6.8603553e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,893 | Containment for Rule-Based Ontology-Mediated Queries | 2018 | PODS |
| 2 | 4,747 | High-Level Why-Not Explanations using Ontologies | 2015 | PODS |
| 3 | 11,630 | Model-theoretic Characterizations of Rule-based Ontologies | 2021 | PODS |
| 4 | 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |
| 5 | 11,967 | The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries | 2017 | PODS |
| 6 | 9,291 | Efficiently Enumerating Answers to Ontology-Mediated Queries | 2022 | PODS |
| 7 | 2,481 | A General Datalog-Based Framework for Tractable Query Answering over Ontologies | 2009 | PODS |
| 8 | 2,544 | Advanced Processing for Ontological Queries | 2010 | VLDB |
| 9 | 11,969 | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment | 2017 | PODS |
| 10 | 8,479 | Optimizing Query Answering under Ontological Constraints | 2011 | VLDB |