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

【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 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.更多还原