Provenance for the description logic ELHr