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.2314732e-05
Overall Rank: 2,723 | 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,732	Semantic Query Optimization in the Presence of Types	2010	PODS	8.2137395e-05
2,763	Advanced Processing for Ontological Queries	2010	VLDB	8.1614123e-05
5,084	Active Knowledge: Dynamically Enriching RDF Knowledge Bases by Web Services	2010	SIGMOD	5.7051019e-05
6,147	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	2013	PODS	5.1840098e-05
6,549	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0116687e-05
6,602	Teaching an RDBMS about ontological constraints	2016	VLDB	4.9924633e-05
6,847	Flag & Check: Data Access with Monadically Defined Queries	2013	PODS	4.9042778e-05
7,960	On the BDD/FC Conjecture	2013	PODS	4.6089395e-05
8,244	Optimizing Query Answering under Ontological Constraints	2011	VLDB	4.5464433e-05
9,385	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.342951e-05
9,812	Datalog with First-Class Facts	2025	VLDB	4.2742278e-05
11,133	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1905499e-05
11,250	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1905499e-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.0007528369
47	Data Integration: A Theoretical Perspective	2002	PODS	0.00069691761
142	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.00041780711
695	The Chase Revisited	2008	PODS	0.00018013323
1,101	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00014037952

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,001	Efficiently Enumerating Answers to Ontology-Mediated Queries	2022	PODS	4.4082817e-05
11,303	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1905499e-05
6,602	Teaching an RDBMS about ontological constraints	2016	VLDB	4.9924633e-05
9,738	Expressive Languages for Querying the Semantic Web	2014	PODS	4.2895392e-05
6,253	More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets	2011	SIGMOD	5.1318715e-05
6,147	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	2013	PODS	5.1840098e-05
5,428	High-Level Why-Not Explanations using Ontologies	2015	PODS	5.5125084e-05
2,763	Advanced Processing for Ontological Queries	2010	VLDB	8.1614123e-05
8,244	Optimizing Query Answering under Ontological Constraints	2011	VLDB	4.5464433e-05
4,291	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2824978e-05