A Description Logic of Change
A Description Logic of Change
复制标题
变化的描述逻辑
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
David Toman
中科院分区：
文献类型：
--
作者：
A. Artale;C. Lutz;David Toman
我们将模态逻辑S5与描述逻辑（DL）ALCQI相结合。由此产生的多维DL S5 ALCQI通过允许表达概念和角色随着时间的推移而变化，支持对变化的推理。然而，它不能区分过去和未来的变化。我们的主要技术成果是，可满足性的S5 ALCQI的概念，就一般的TBoxes（包括GCI）是可判定的和2-EXPTIME完全的。相比之下，能够区分过去和未来的时间DL中的推理本质上是不可判定的。我们认为，我们的逻辑是足够的推理时间戳约束的时间概念模型。
We combine the modal logic S5 with the description logic (DL) ALCQI. The resulting multi-dimensional DL S5ALCQI supports reasoning about change by allowing to express that concepts and roles change over time. It cannot, however, discriminate between changes in the past and in the future. Our main technical result is that satisfiability of S5ALCQI concepts with respect to general TBoxes (including GCIs) is decidable and 2-EXPTIME-complete. In contrast, reasoning in temporal DLs that are able to discriminate between past and future is inherently undecidable. We argue that our logic is sufficient for reasoning about temporal conceptual models with time-stamping constraints.