On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$

Open in new window