描述逻辑ALC中的TBox推理机制研究

The Research on Reasoning of TBox in Description Logic ALC

领域专家知识库的构建及其推理在专家系统中具有重要的作用,为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组成部分,以及描述描述逻辑系统ALC中的非循环TBox、循环TBox、含有包含关系的TBox和空TBox;通过引入固定点语义来定义循环TBox,应用概念的等价扩展来消除TBox,以简单化知识库的推理;并给出了空TBox下的推理算法及其正确性的说明.

The constructio n and inference of field expert system play an important role on expert system, pa- per introduces the architecture of knowledge representation based on description logic and its elementary components, and the no - cycle TBox, cyclic TBox, having inclusion TBox and empty TBox respectively in description logic ALC, defines cyclic TBox by fixed -point semantic and eliminating the TBox by equivalent extension to simplify the inference; it gives the inference algorithm of empty TBox and brief explain on correctness of the algorithm.