A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Datalog+/- is a Datalog-based language family enhanced with existential quantification in rule heads, equalities and negative constraints. Query answering over databases with respect to a Datalog+/- theory is generally undecidable, however several syntactic restrictions have been proposed to remedy this fact. However, a useful and natural feature however is as of yet missing from Datalog+/-: The ability to express uncertain knowledge, or choices, using disjunction. It is the precise objectivearXiv:1405.5109v1 fatcat:4al4oxnkenb7pe3q64zqgtfet4