Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

要約

この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊かなクラスの代替の特徴付けを確立します。
注目すべきクラスの貪欲境界ツリー幅セット (gbts) と、weakly gbts (wgbts) と呼ばれる新しい一般化されたバリアントについて検討します。
導出グラフの概念を再検討して構築し、(弱い) サイクルフリーの導出グラフ セット ((w)cdgs) を定義し、精巧な証明理論的議論を使用して、gbts と cdgs が一致すること、および wgbts と wcdgs が一致することを取得します。
これらの新しい特徴付けは、存在規則の分析的証明理論的理解を促進し、実際に役立つ可能性があります。

要約(オリジナル)

This paper establishes alternative characterizations of very expressive classes of existential rule sets with decidable query entailment. We consider the notable class of greedy bounded-treewidth sets (gbts) and a new, generalized variant, called weakly gbts (wgbts). Revisiting and building on the notion of derivation graphs, we define (weakly) cycle-free derivation graph sets ((w)cdgs) and employ elaborate proof-theoretic arguments to obtain that gbts and cdgs coincide, as do wgbts and wcdgs. These novel characterizations advance our analytic proof-theoretic understanding of existential rules and will likely be instrumental in practice.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google