# Rational Closure in SHIQ

8 Jun 2014Laura GiordanoValentina GliozziNicola OlivettiGian Luca Pozzato

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 [23]. 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... (read more)

PDF Abstract

No code implementations yet. Submit your code now