DBScholar

Back to papers

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
1611
Venue
PODS
Year
2013
Pagerank
5.9425753e-05
Overall Rank
6,221 | 57.32%
DOI
10.1145/2463664.2465229

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{hernich_pods13,
        address = {New York, NY, USA},
        series = {{PODS} '13},
        title = {{Well-Founded Semantics for Extended Datalog and Ontological Reasoning}},
        url = {https://dl.acm.org/doi/10.1145/2463664.2465229},
        doi = {10.1145/2463664.2465229},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Hernich, André and Kupke, Clemens and Lukasiewicz, Thomas and Gottlob, Georg},
        year = {2013}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank Citing Paper Year Venue Pagerank
12,097 Default Negation for Non-Guarded Existential Rules 2015 PODS 5.093636e-05
Previous Page 1 / 1 Next

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
Previous Page 1 / 1 Next

Semantically Similar Papers