Default Negation for Non-Guarded Existential Rules
Summary: Extend sticky (non-guarded) existential rules with default negation and analyze conjunctive query answering complexity under well-founded and stable model semantics. Provide data and combined complexity bounds for the well-founded case but prove stable models incompatible due to stickiness enabling cartesian-product encodings. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Mario Alviano
- 2. Andreas Pieris
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,762 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 9,739 | Expressive Languages for Querying the Semantic Web | 2014 | PODS | 4.2936538e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,243 | The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints | 2015 | PODS | 9.2166927e-05 |
| 11,829 | Semantic Acyclicity Under Constraints | 2016 | PODS | 4.1945683e-05 |
| 10,899 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS | 4.1945683e-05 |
| 3,003 | Counting Answers to Existential Positive Queries: A Complexity Classification | 2016 | PODS | 7.7388586e-05 |
| 3,909 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.6375375e-05 |
| 5,057 | Queries with Guarded Negation | 2012 | VLDB | 5.7294436e-05 |
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 2,755 | Advanced Processing for Ontological Queries | 2010 | VLDB | 8.1690695e-05 |
| 11,762 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1945683e-05 |
| 7,956 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 4.613363e-05 |