Non-Gödel Negation Makes Unwitnessed Consistency Undecidable

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable
复制标题

非哥德尔否定使得无人见证的一致性无法判定

DOI：
--
复制
发表时间：
2012
期刊：
Description Logics
影响因子：
--
通讯作者：
R. Peñaloza
R. Peñaloza
中科院分区：
--
文献类型：
--
作者：
Stefan Borgwardt;R. Peñaloza

文献摘要

被引文献

相似文献

最近的研究结果表明，本体一致性是不可判定的各种模糊描述逻辑（DL）。最值得注意的是，不可判定性出现了一个家庭的非表达模糊DL只使用合取，存在限制，和剩余否定，即使本体本身是脆。所有这些结果都依赖于将推理限制在见证模型上。在本文中，我们表明，本体一致性的非表达模糊DL使用任何t-规范开始的Mikukasiewicz t-规范也是不可判定的w.r.t.一般模型。
Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show that ontology consistency for inexpressive fuzzy DLs using any t-norm starting with the Łukasiewicz t-norm is also undecidable w.r.t. general models.