摘要
分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求,给出了将概念图的一个子集转化为描述逻辑知识库的方法,并证明了该方法的正确性。同时给出了其知识库的一致性、包含关系的自动判断方法,也证明了这些判断方法的正确性。
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 characteristics and requirement, a method to translate a subset of conceptual graphs into a knowledge base of description logic is given, and its correctness is proved. At last, the automated reasoning methods of consistency, and subsumption relation of conceptual graphs are presented, and the correctness of these reasoning methods is also proved.
出处
《计算机科学》
CSCD
北大核心
2008年第8期176-179,共4页
Computer Science
基金
国家自然科学基金项目(60663001,60673135,60373081,60573010)
中国博士后科学基金项目(20060400226)
广西研究生教育创新项目(2006106020812M37)
关键词
知识表示
概念图
描述逻辑
自动推理
Knowledge representation, Conceptual graphs, Description logic, Automated reasoning
