Data di Pubblicazione:
2014
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Description Logics; Nonmonotonic reasoning
Elenco autori:
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
DL 2014 27th International Workshop on Description Logics
Pubblicato in: