...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>高分子論文集 >Consistency reasoning in lattice-based fuzzy Description Logics
【24h】

Consistency reasoning in lattice-based fuzzy Description Logics

机译：基于格的模糊描述逻辑中的一致性推理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Fuzzy Description Logics have been widely studied as a formalism for representing and reasoning with vague knowledge. One of the most basic reasoning tasks in (fuzzy) Description Logics is to decide whether an ontology representing a knowledge domain is consistent. Surprisingly, not much is known about the complexity of this problem for semantics based on complete De Morgan lattices. To cover this gap, in this paper we study the consistency problem for the fuzzy Description Logic L-SHI and its sublogics in detail. The contribution of the paper is twofold. On the one hand, we provide a tableaux-based algorithm for deciding consistency when the underlying lattice is finite. The algorithm generalizes the one developed for classical SHI. On the other hand, we identify decidable and undecidable classes of fuzzy Description Logics over infinite lattices. For all the decidable classes, we also provide tight complexity bounds.
机译：模糊描述逻辑已被广泛地研究为用模糊知识表示和推理的形式主义。 （模糊）描述逻辑中最基本的推理任务之一就是确定表示知识域的本体是否一致。令人惊讶的是，对于基于完整De Morgan格的语义的此问题的复杂性知之甚少。为了弥补这一空白，本文详细研究了模糊描述逻辑L-SHI及其子逻辑的一致性问题。论文的贡献是双重的。一方面，当基础晶格是有限的时，我们提供了一种基于Tableaux的算法来确定一致性。该算法概括了为经典SHI开发的算法。另一方面，我们确定了无限格上模糊描述逻辑的可判定类和不可判定类。对于所有可判定类，我们还提供了严格的复杂度界限。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号