资源分类
》 资源 》论文》Oblivious and Semi-Oblivious Boundedness for Existential Rules

Oblivious and Semi-Oblivious Boundedness for Existential Rules

2019-09-29 | |  61 |   34 |   0
Abstract We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on the oblivious and the semi-oblivious chase variants, we give a characterization of boundedness in terms of FO-rewritability and chase termination. We show that it is decidable to recognize if a set of rules is bounded for several classes and outline the complexity of the problem

上一篇：Measuring the Likelihood of Numerical Constraints

下一篇：On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...