Bounded implication for existential rules

C Civili, R Rosati - CEUR WORKSHOP PROCEEDINGS, 2016 - iris.uniroma1.it
CEUR WORKSHOP PROCEEDINGS, 2016iris.uniroma1.it
The property of boundedness in Datalog formalizes whether a set of rules can be
equivalently expressed by a non-recursive set of rules. Existential rules extend Datalog to
the presence of existential variables in rule heads. In this paper, we introduce and study
notions of boundedness for existential rules. We provide a notion of weak boundedness and
a notion of strong boundedness for a rule set, and show that they correspond, respectively,
to the notions of first-order rewritability of atomic queries and first-order rewritability of …
Abstract
The property of boundedness in Datalog formalizes whether a set of rules can be equivalently expressed by a non-recursive set of rules. Existential rules extend Datalog to the presence of existential variables in rule heads. In this paper, we introduce and study notions of boundedness for existential rules. We provide a notion of weak boundedness and a notion of strong boundedness for a rule set, and show that they correspond, respectively, to the notions of first-order rewritability of atomic queries and first-order rewritability of conjunctive queries over the set. While weak and strong boundedness are in general not equivalent, we show that, for some notable subclasses of existential rules, ie, Datalog, single-head binary rules, and frontier-guarded rules, the two notions coincide.
iris.uniroma1.it
以上显示的是最相近的搜索结果。 查看全部搜索结果