TY - RPRT TI - Non-distributive description logic AU - Ineke van der Berg AU - Andrea De Domenico AU - Giuseppe Greco AU - Krishna B. Manoorkar AU - Alessandra Palmigiano AU - Mattia Panettiere PY - 2024 UR - https://arxiv.org/abs/2307.09561 ID - 2307.09561 ER -