计算机科学 ›› 2008, Vol. 35 ›› Issue (8): 176-179.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求,给出了将概念图的一个子集转化为描述逻辑知识库的方法,并证明了该方法的正确性。同时给出了其知识库的一致性、包含关系的自动判断方法,也证明了这些判断方法的正确性。
关键词: 知识表示 概念图 描述逻辑 自动推理
Abstract: The importance and the existing problems of conceptual graphs in knowledge representation are discussed. Then a conceptual graphs extension based on description logic which can be automatically reasoned is proposed. According to the conceptual graphs char
Key words: Knowledge representation, Conceptual graphs, Description logic, Automated reasoning
. 基于描述逻辑的概念图推理[J]. 计算机科学, 2008, 35(8): 176-179. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I8/176
Cited