5 citations · 11 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 3 cited
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation
Arash Karimi, Heng Zhang, Jia-Huai You
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previou…
cs.AI2020★ 2 cited
Model-theoretic Characterizations of Existential Rule Languages
Heng Zhang, Yan Zhang, Guifei Jiang
Existential rules, a.k.a. dependencies in databases, and Datalog+/- in knowledge representation and reasoning recently, are a family of important logical languages widely used in c…