TY - RPRT TI - On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$ AU - Oliver Fernández Gil PY - 2014 UR - https://arxiv.org/abs/1404.6566 ID - 1404.6566 ER -