On Rational Closure in Description Logics of Typicality

Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1

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 operat…