Waiting for the Chase To Terminate: Have You Tried This Other Variant? (KR 2025 Video Track)

Matti Berthold, Marvin Großer, Simon Hosemann, Quentin Manière, Moritz Schönherr and Lukas Schulze - Waiting for the Chase To Terminate: Have You Tried This Other Variant? Ever dreamed of expanding your *database* with new facts derived from meta-knowledge of your domain of application? The *chase algorithm* will take this additional knowledge into account to figure out more complete and relevant answers to your queries! Input your favorite *existential rules* and dataset, sit comfortably, and watch the chase as it operates its magic!* Summary: 00:00 Introduction & Intuition 02:45 Framework & Definitions 05:54 Fairness 08:16 Termination & The Restricted Chase 10:55 The Core Chase 13:44 Recap' & Conclusion 14:40 Credits Python/Manim code to generate the animations: https://github.com/KRVideosFanAccount... How to cite: https://doi.org/10.5281/zenodo.17456461 Manim: https://www.manim.community/ KR website: https://kr.org/ References: Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, and Éric Salvat. On rules with existential variables: Walking the decidability line. Artificial Intelligence, 175(9-10):1620–1654, 2011. Catriel Beeri and Moshe Y. Vardi. The implication problem for data dependencies. In Proceedings of the 8th Colloquium on Automata, Languages and Programming, pages 73–85, 1981. David Carral, Lucas Larroque, Marie-Laure Mugnier, and Michaël Thomazo. Normalisations of Existential Rules: Not so Innocuous! In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 102–111, 2022. *Disclaimer: This algorithm may take a while; please read Terms and Conditions before use. Excessive waiting for termination is dangerous for your health, run the chase with moderation. © Matti Berthold, Marvin Grosser, Simon Hosemann, Quentin Manière, Moritz Schönherr, and Lukas Schulze, reproduced with permission. #ChaseAlgorithm #DatabaseTheory #ExistentialRules #KnowledgeRepresentation #Reasoning #VideoTrack #KR2025