13 citations · 29 across the 10 of their papers we have counts for
1 paper · 1 filter
David Carral, Jacopo Urbani
The chase is a sound and complete algorithm for conjunctive query answering over ontologies of existential rules with equality. To enable its effective use, we can apply acyclicity…