Lucas Larroque

Normalisations of Existential Rules: Not so Innocuous!

2022 · arXiv (Cornell University)

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption …