Ontologies and data management: a brief survey
M Leclère, ML Mugnier, G Pérution-Kihli - ar**s. While this issue has already been well studied from a chase …
Rewriting guarded existential rules into small datalog programs
The goal of this paper is to understand the relative expressiveness of the query language in
which queries are specified by a set of guarded (disjunctive) tuple-generating dependencies …
which queries are specified by a set of guarded (disjunctive) tuple-generating dependencies …
[PDF][PDF] Enhancing Existential Rules by Closed-World Variables.
Existential rules generalize Datalog with existential quantification in the head. Natively,
Datalog is interpreted under a closed-world semantics, while existential rules typically …
Datalog is interpreted under a closed-world semantics, while existential rules typically …