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

Oliver Fernández Gil

In the last 20 years many proposals have been made to incorporate non-monotonic reasoning into description logics, ranging from approaches based on default logic and circumscriptio…