计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 185-187.
• • 上一篇 下一篇
曹逸 徐德智 王建新
出版日期:
发布日期:
基金资助:
CAO Yi XU De-zhi WANG Jian-xin （College of Information Science and Engineering,Central South University,Changsha 410083,China）
Online:
Published:
摘要： 描述逻辑是语义Web的逻辑基础，是形式化表达领域知识的工具。但是描述逻辑只能表达单调推理，不能处理不完全知识。认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势。本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR＋，保留了描述逻辑原有的优点，加入传递角色属性，增强了表达能力，并通过认知查询拥有了非单调推理的能力。设计了ALCKR＋的语法、语义以及表算法。
关键词: 描述逻辑 认知描述逻辑 传递角色 认知查询
Abstract: Description logic is the logical foundation of semantic Web. It is the tool for formally expressing the domain knowledge. But description logic can only express the monotonic reasoning, it can not deal with the incomplete knowledge. The epistemic descript
Key words: Description logic, Epistemic description logic, Transitive roles, Epistemic query
曹逸 徐德智 王建新. 认知描述逻辑ALCKR＋：描述逻辑的一个非单调扩展[J]. 计算机科学, 2008, 35(7): 185-187. https://doi.org/
CAO Yi XU De-zhi WANG Jian-xin （College of Information Science and Engineering,Central South University,Changsha 410083,China）. [J]. Computer Science, 2008, 35(7): 185-187. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I7/185
Cited
首页