BriefGPT.xyz
Jul, 2023
可判定存在规则集的派生图表征
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
HTML
PDF
Tim S. Lyon, Sebastian Rudolph
TL;DR
本文通过建立新的概念来对存在性规则集进行表征探究，特别是在有限制下的集合，在其多项式时间内具有查询蕴含。
Abstract
This paper establishes alternative characterizations of very expressive classes of
existential rule sets
with
decidable query entailment
. We consider the notable class of
→