The chase is a family of algorithms designed to infer data with the use of ontological
knowledge, which encoded in existential rules, a sub-language of first-order logic. A …