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)

Paper ID: 1479
Venue: PODS
Year: 2009
Pagerank: 8.2367715e-05
Overall Rank: 2,720 | 81.08%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 13 of 13 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,727	Semantic Query Optimization in the Presence of Types	2010	PODS	8.2216778e-05
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
5,181	Active Knowledge: Dynamically Enriching RDF Knowledge Bases by Web Services	2010	SIGMOD	5.6410659e-05
6,143	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	2013	PODS	5.1889914e-05
6,552	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0164865e-05
6,601	Teaching an RDBMS about ontological constraints	2016	VLDB	4.9972581e-05
6,848	Flag & Check: Data Access with Monadically Defined Queries	2013	PODS	4.9089877e-05
7,957	On the BDD/FC Conjecture	2013	PODS	4.613363e-05
8,249	Optimizing Query Answering under Ontological Constraints	2011	VLDB	4.5508077e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
11,130	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1945683e-05
11,248	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1945683e-05

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
38	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00075110004
48	Data Integration: A Theoretical Perspective	2002	PODS	0.00069720859
144	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.00041462501
698	The Chase Revisited	2008	PODS	0.00018030148
1,102	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00014049364

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,995	Efficiently Enumerating Answers to Ontology-Mediated Queries	2022	PODS	4.412512e-05
11,301	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1945683e-05
6,601	Teaching an RDBMS about ontological constraints	2016	VLDB	4.9972581e-05
9,739	Expressive Languages for Querying the Semantic Web	2014	PODS	4.2936538e-05
6,254	More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets	2011	SIGMOD	5.1368042e-05
6,143	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	2013	PODS	5.1889914e-05
5,418	High-Level Why-Not Explanations using Ontologies	2015	PODS	5.5178123e-05
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
8,249	Optimizing Query Answering under Ontological Constraints	2011	VLDB	4.5508077e-05
4,298	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2885419e-05