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

曲靖师范学院学报 ›› 2016, Vol. 35 ›› Issue (6): 53-57.

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

夏跃龙

曲靖师范学院信息工程学院,云南曲靖 655011

收稿日期:2016-11-01 出版日期:2016-11-26
作者简介:夏跃龙,曲靖师范学院信息工程学院助教,主要从事人工智能与知识工程研究.
基金资助:
国家自然科学基金项目“多源异构的海量少数民族文化资源挖掘与服务关键技术研究”(61562093).

The Research on Reasoning of TBox in Description Logic ALC

Xia Yuelong

School of Information Engineering ,Qujing Normal University, Qujing Yunnan 655011,P. R.China

Received:2016-11-01 Published:2016-11-26

摘要/Abstract

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

关键词: 描述逻辑ALC, 空TBox, 循环TBox, Tableau算法

Abstract: The constructio n and inference of field expert system play an important role on expert system, paper 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.

中图分类号:

TP311

夏跃龙. 描述逻辑ALC中的TBox推理机制研究[J]. 曲靖师范学院学报, 2016, 35(6): 53-57.

Xia Yuelong. The Research on Reasoning of TBox in Description Logic ALC[J]. JOURNAL OF QUJING NORMAL UNIVERSITY, 2016, 35(6): 53-57.

[1]	胡伟, 王子岚. 基于协同过滤算法的试题智能推荐测评研究[J]. 曲靖师范学院学报, 2022, 41(6): 49-54.
[2]	王宁邦. 大数据环境下校园网贷的研判和应对策略[J]. 曲靖师范学院学报, 2019, 38(3): 33-40.
[3]	濮宏积,王娟,黄晓云,尹华玲. 微信公众平台在教学质量监控体系中的运用[J]. 曲靖师范学院学报, 2016, 35(6): 48-52.