TY - RPRT TI - Non-Normal Modal Description Logics (Extended Version) AU - Tiziano Dalmonte AU - Andrea Mazzullo AU - Ana Ozaki AU - Nicolas Troquard PY - 2023 UR - https://arxiv.org/abs/2307.12265 ID - 2307.12265 ER -