12 citations · 38 across the 12 of their papers we have counts for
1 paper · 2 filters
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…