%0 Journal Article
%T 基于描述逻辑的概念图推理
%J 计算机科学
%D 2008
%X 分析了概念图在知识表示领域的重要性及其存在的问题，提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求，给出了将概念图的一个子集转化为描述逻辑知识库的方法，并证明了该方法的正确性。同时给出了其知识库的一致性、包含关系的自动判断方法，也证明了这些判断方法的正确性。
%K 知识表示概念图描述逻辑自动推理
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=28016677&flag=1