Minimal models for rational closure in SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato · 2014
Abstract. We introduce a notion of rational closure for the logic SHIQ based on the well-known rational closure by Lehmann and Magidor [21]. 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. 1