基于描述逻辑的概念图推理  

Description Logics Based Conceptual Graphs Reasoning

作　　者：王军[1] 王继军[1] 甘丹[1] 蒋运承[1] 

机构地区：[1]广西师范大学计算机科学与信息工程学院,桂林541004

出　　处：《计算机科学》2008年第8期176-179,共4页Computer Science

基　　金：国家自然科学基金项目(60663001,60673135,60373081,60573010);中国博士后科学基金项目(20060400226);广西研究生教育创新项目(2006106020812M37)

摘　　要：分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求,给出了将概念图的一个子集转化为描述逻辑知识库的方法,并证明了该方法的正确性。同时给出了其知识库的一致性、包含关系的自动判断方法,也证明了这些判断方法的正确性。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.

关 键 词：知识表示 概念图 描述逻辑 自动推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O174.52[自动化与计算机技术—控制科学与工程]