4 citations · 6 across the 7 of their papers we have counts for
1 paper · 2 filters
Lukas Gerlach
The chase is a sound, complete, but possibly non-terminating algorithm for reasoning with existential rules (aka. tuple-generating dependencies), a highly expressive knowledge repr…