Rational closure in SHIQ

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

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

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 Magidor in [24]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.

Lingua originaleInglese
pagine (da-a)543-555
Numero di pagine13
RivistaCEUR Workshop Proceedings
Volume1193
Stato di pubblicazionePubblicato - 2014
Evento27th International Workshop on Description Logics, DL 2014 - Vienna, Austria
Durata: 17 lug 201420 lug 2014

Fingerprint

Entra nei temi di ricerca di 'Rational closure in SHIQ'. Insieme formano una fingerprint unica.

Cita questo