Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

Arash Karimi, Heng Zhang 0006, Jia-Huai You. Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. TPLP, 21(1):4-50, 2021. [doi]

Abstract

Abstract is missing.