Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ

Laura Giordano, Valentina Gliozzi, Nicola Olivetti

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

We explore the extension of the notion of rational closure to logics lacking the finite model property, considering the logic SHIQ. 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 KB can be computed in EXPTIME based on a polynomial encoding of the rational extension of SHIQ into entailment in SHIQ. We discuss the extension of rational closure to more expressive description logics.

Lingua originaleInglese
pagine (da-a)95-122
Numero di pagine28
RivistaFundamenta Informaticae
Volume159
Numero di pubblicazione1-2
DOI
Stato di pubblicazionePubblicato - 2018

Fingerprint

Entra nei temi di ricerca di 'Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ'. Insieme formano una fingerprint unica.

Cita questo