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 [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. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ. |
Year | Venue | DocType |
---|---|---|
2014 | Description Logics | Journal |
Volume | Citations | PageRank |
abs/1406.2023 | 6 | 0.46 |
References | Authors | |
20 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laura Giordano | 1 | 115 | 16.64 |
Valentina Gliozzi | 2 | 327 | 30.99 |
Nicola Olivetti | 3 | 616 | 54.51 |
Gian Luca Pozzato | 4 | 394 | 36.96 |