5 citations · 11 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Characterizing the Program Expressive Power of Existential Rule Languages
Heng Zhang
Existential rule languages are a family of ontology languages that have been widely used in ontology-mediated query answering (OMQA). However, for most of them, the expressive powe…
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…