Checking Chase Termination over Ontologies of Existential Rules with Equality