DBScholar

Back to papers

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)

Paper ID
h5496ebb9911f9ff2
Venue
PODS
Year
2015
Pagerank
4.9793485e-05
Overall Rank
12,390 | 16.70%
DOI
10.1145/2745754.2745758

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

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
12,266 Stable Model Semantics for Tuple-Generating Dependencies Revisited 2017 PODS 4.9793485e-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,350 Well-Founded Semantics for Extended Datalog and Ontological Reasoning 2013 PODS 5.8092399e-05
9,357 Expressive Languages for Querying the Semantic Web 2014 PODS 5.1873819e-05
Previous Page 1 / 1 Next

Semantically Similar Papers