Minimal model semantics and rational closure in Description Logics

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

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

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), whose meaning is to select the "most normal" instances of a concept C. The semantics we consider is based on rational models and exploits a minimal models mechanism based on the minimization of the rank of domain elements. We show that this semantics captures exactly a notion of rational closure which is a natural extension to Description Logics of Lehmann and Magidor's one. We also extend the notion of rational closure to the ABox, by providing an EXPTIME algorithm for computing it that is sound and complete with respect to the minimal model semantics.

Lingua originaleInglese
pagine (da-a)168-180
Numero di pagine13
RivistaCEUR Workshop Proceedings
Volume1014
Stato di pubblicazionePubblicato - 2013
Evento26th International Workshop on Description Logics, DL 2013 - Ulm, Germany
Durata: 23 lug 201326 lug 2013

Fingerprint

Entra nei temi di ricerca di 'Minimal model semantics and rational closure in Description Logics'. Insieme formano una fingerprint unica.

Cita questo