TY - RPRT TI - Provenance for the Description Logic ELHr AU - Camille Bourgaux AU - Ana Ozaki AU - Rafael PeƱaloza AU - Livia Predoiu PY - 2023 UR - https://arxiv.org/abs/2001.07541 ID - 2001.07541 ER -