No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo

This paper addresses one of the fundamental open questions in the realm of existential rules: the conjecture on the finite controllability of bounded derivation depth rule sets (bd…