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 (University of Calabria)
- 2. Andreas Pieris (Vienna University of Technology)
BibTeX Citation
@inproceedings{alviano_pods15,
address = {New York, NY, USA},
series = {{PODS} '15},
title = {{Default Negation for Non-Guarded Existential Rules}},
url = {https://dl.acm.org/doi/10.1145/2745754.2745758},
doi = {10.1145/2745754.2745758},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Alviano, Mario and Pieris, Andreas},
year = {2015}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,968 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 5.093636e-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 |
|---|---|---|---|---|
| 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 5.9425753e-05 |
| 9,181 | Expressive Languages for Querying the Semantic Web | 2014 | PODS | 5.3064263e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,121 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS |
| 2 | 4,266 | Counting Answers to Existential Positive Queries: A Complexity Classification | 2016 | PODS |
| 3 | 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS |
| 4 | 5,773 | Consistent Query Answering for Primary Keys and Conjunctive Queries with Negated Atoms | 2018 | PODS |
| 5 | 4,163 | Queries with Guarded Negation | 2012 | VLDB |
| 6 | 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |
| 7 | 2,544 | Advanced Processing for Ontological Queries | 2010 | VLDB |
| 8 | 11,893 | Containment for Rule-Based Ontology-Mediated Queries | 2018 | PODS |
| 9 | 11,968 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS |
| 10 | 6,785 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS |