Checking Chase Termination over Ontologies of Existential Rules with Equality.

David Carral, Jacopo Urbani

Browse the full AAAI paper archive.