Checking Chase Termination over Ontologies of Existential Rules with Equality

Open in new window