TY - RPRT TI - A Rational Entailment for Expressive Description Logics via Description Logic Programs AU - Giovanni Casini AU - Umberto Straccia PY - 2021 DO - 10.1007/978-3-030-95070-5_12 UR - https://arxiv.org/abs/2107.06075 ID - 2107.06075 ER -