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

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