BriefGPT.xyz
Jun, 2014
SHIQ中的有理闭包
Rational Closure in SHIQ
HTML
PDF
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
TL;DR
本文定义基于Lehmann和Magidor在[23]中引入的合理闭包概念的SHIQ逻辑的合理闭包概念,提供了一种基于优先语义的SHIQ合理闭包的语义表征,并在最小模型的有限级别特征下表现出来。我们表明可以使用SHIQ包含在EXPTIME中计算TBox的合理闭包。
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 seman
→