TY - RPRT TI - Semiring Provenance for Lightweight Description Logics AU - Camille Bourgaux AU - Ana Ozaki AU - Rafael PeƱaloza PY - 2026 UR - https://arxiv.org/abs/2310.16472 ID - 2310.16472 ER -