A General Datalog-Based Framework for Tractable Query Answering over Ontologies
Summary: Introduces Datalog+-: a family of Datalog extensions with existential variables in rule heads and syntactic restrictions that guarantee tractable ontology query answering. Generalizes DL-Lite, admits stratified negation while preserving tractability, and applies to data integration/exchange. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Andrea Calì (University of Oxford)
- 2. Georg Gottlob (University of Oxford)
- 3. Thomas Lukasiewicz (Technical University of Vienna; University of Oxford)
BibTeX Citation
@inproceedings{cali_pods09,
address = {New York, NY, USA},
series = {{PODS} '09},
title = {{A General Datalog-Based Framework for Tractable Query Answering over Ontologies}},
url = {https://dl.acm.org/doi/10.1145/1559795.1559809},
doi = {10.1145/1559795.1559809},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Calì, Andrea and Gottlob, Georg and Lukasiewicz, Thomas},
year = {2009}
}
Incoming Citations (Sorted by Pagerank)
Showing 13 of 13 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 22 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00056204792 |
| 40 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00046918506 |
| 134 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00030343737 |
| 525 | The Chase Revisited | 2008 | PODS | 0.00017118255 |
| 874 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS | 0.00013481551 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,291 | Efficiently Enumerating Answers to Ontology-Mediated Queries | 2022 | PODS |
| 2 | 11,500 | SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog | 2023 | VLDB |
| 3 | 6,623 | Teaching an RDBMS about ontological constraints | 2016 | VLDB |
| 4 | 9,181 | Expressive Languages for Querying the Semantic Web | 2014 | PODS |
| 5 | 6,008 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD |
| 6 | 5,347 | Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP | 2013 | PODS |
| 7 | 4,747 | High-Level Why-Not Explanations using Ontologies | 2015 | PODS |
| 8 | 2,544 | Advanced Processing for Ontological Queries | 2010 | VLDB |
| 9 | 8,479 | Optimizing Query Answering under Ontological Constraints | 2011 | VLDB |
| 10 | 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |