Well-Founded Semantics for Extended Datalog and Ontological Reasoning

Summary: Extend well-founded semantics to Datalog+/- with negation under the unique-name assumption, enabling nonmonotonic ontological reasoning over existential-rule ontologies. Prove decidability for guarded Datalog+/- under WFS and give tight complexities: PTIME data, 2-EXPTIME combined for Boolean CQs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1612
Venue: PODS
Year: 2013
Pagerank: 6.2885419e-05
Overall Rank: 4,298 | 70.11%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
11,898	Default Negation for Non-Guarded Existential Rules	2015	PODS	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,418	High-Level Why-Not Explanations using Ontologies	2015	PODS	5.5178123e-05
581	The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version)	1992	PODS	0.00019767772
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
7,977	The Expressive Powers of the Logic Programming Semantics	1990	PODS	4.613363e-05
6,143	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP	2013	PODS	5.1889914e-05
2,830	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions	1993	PODS	8.054172e-05
2,877	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS	7.9715251e-05
7,956	Expressiveness of Guarded Existential Rule Languages	2014	PODS	4.613363e-05
12,833	Adding Disjunction to Datalog (Extended Abstract)	1994	PODS	4.1945683e-05
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05