In this paper we provide a semantic reconstruction of rational closure. We first consider
rational closure as defined by Lehman and Magidor [33] for propositional logic, and we …

We define the notion of rational closure in the context of Description Logics. We start from an
extension of ALC with a typicality operator T allowing to express concepts of the form T (C) …

In artificial intelligence, there has been a great deal of work done on how to introduce
nonmonotonic reasoning capabilities in logic-based knowledge representation systems …

We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite
model property, building on the notion of rational closure introduced by Lehmann and …

Explanation facilities are an essential part of tools for knowledge representation and
reasoning systems. Knowledge representation and reasoning systems allow users to …

One of the most successful approaches to the formalization of commonsense reasoning is
the work by Lehmann and colleagues, known as the KLM approach, in which defeasible …

We define the notion of rational closure in the context of Description Logics extended with a
tipicality operator. We start from ALC+ T, an extension of ALC with a typicality operator T …

Non-monotonicity is a property desired in description logics to increase the scope and
power of automated reasoners. This document proposes a project to nd and implement an …