资源论文Walking the Complexity Lines for Generalized Guarded Existential Rules Jean-Franc?ois Baget Marie-Laure Mugnier Sebastian Rudolph Michae?l Thomazo

Walking the Complexity Lines for Generalized Guarded Existential Rules Jean-Franc?ois Baget Marie-Laure Mugnier Sebastian Rudolph Michae?l Thomazo

2019-11-12 | |  43 |   31 |   0
Abstract We establish complexities of the conjunctive query entailment problem for classes of existential rules (i.e. Tuple-Generating Dependencies or Datalog+/rules). Our contribution is twofold. First, we introduce the class of greedy bounded treewidth sets (gbts), which covers guarded rules, and their known generalizations, namely (weakly) frontier-guarded rules. We provide a generic algorithm for query entailment with gbts, which is worst-case optimal for combined complexity with bounded predicate arity, as well as for data complexity. Second, we classify several gbts classes, whose complexity was unknown, namely frontier-one, frontier-guarded and weakly frontier-guarded rules, with respect to combined complexity (with bounded and unbounded predicate arity) and data complexity.

上一篇:What Is an Ideal Logic for Reasoning with Inconsistency? Ofer Arieli Arnon Avron Anna Zamansky

下一篇:Query Reasoning on Trees with Types, Interleaving, and Counting

用户评价
全部评价

热门资源

  • 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...