Reasoning about typicality in preferential description logics: Preferential vs Rational entailment

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

Extensions of Description Logics (DLs) to reason about typicality and defeasible inheritance have been largely investigated. In this paper, we consider two such extensions, namely (i) the extension of DLs with a typicality operator T, having the properties of Preferential nonmonotonic entailment P, and (ii) its variant with a typicality operator having the properties of the stronger Rational entailment R. The first one has been proposed in [1, 2]. Here, we investigate the second one and we show, by a representation theorem, that it is equivalent to the approach to preferential subsumption proposed in [3]. We compare the two extensions, preferential and rational, and argue that the first one is more suitable than the second one to reason about typicality, as the latter leads to unintuitive inferences.

Lingua originaleInglese
RivistaCEUR Workshop Proceedings
Volume598
Stato di pubblicazionePubblicato - 2010
Evento25th Italian Conference on Computational Logic, CILC 2010 - Rende, Italy
Durata: 7 lug 20109 lug 2010

Fingerprint

Entra nei temi di ricerca di 'Reasoning about typicality in preferential description logics: Preferential vs Rational entailment'. Insieme formano una fingerprint unica.

Cita questo