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

The Research on Reasoning of TBox in Description Logic ALC

作　　者：夏跃龙 

机构地区：[1]曲靖师范学院信息工程学院,云南曲靖655011

出　　处：《曲靖师范学院学报》2016年第6期53-57,共5页Journal of Qujing Normal University

基　　金：国家自然科学基金项目"多源异构的海量少数民族文化资源挖掘与服务关键技术研究"(61562093)

摘　　要：领域专家知识库的构建及其推理在专家系统中具有重要的作用,为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组成部分,以及描述描述逻辑系统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.

关 键 词：描述逻辑ALC 空TBox 循环TBox TABLEAU算法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]