# On the Non-Monotonic Description Logic ALC+T_mathsfmin

arXiv: https://arxiv.org/abs/1404.6566 · HTML: https://mlsanity.com/paper/1404.6566/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 25 Apr 2014.

## Built on by (most cited first, 1 of 1)

- [Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures](https://mlsanity.com/paper/2108.03100/) (2021)

## Abstract (arXiv)

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 circumscription to those based on preferential semantics. In particular, the non-monotonic description logic ALC+T_mathsfmin uses a combination of the preferential semantics with minimization of a certain kind of concepts, which represent atypical instances of a class of elements. One of its drawbacks is that it suffers from the problem known as the property blocking inheritance, which can be seen as a weakness from an inferential point of view. In this paper we propose an extension of ALC+T_mathsfmin, namely ALC+T^+_mathsfmin, with the purpose to solve the mentioned problem. In addition, we show the close connection that exists between ALC+T^+_mathsfmin and concept-circumscribed knowledge bases. Finally, we study the complexity of deciding the classical reasoning tasks in ALC+T^+_mathsfmin.