基于描述逻辑的本体检错推理研究——以国共合作领域本体为例

摘要：

本体检错推理在本体形式化汉语言的描述逻辑基础上,运用Tableau算法对本体的概念层次,声明的实例以及实例间复杂的语义关系进行检测,以保证本体库结构的逻辑一致性和知识描述的正确性.以国共合作领域本体库为例,探讨了本体检错推理的逻辑基础及Tableau算法的原理,分析本体检错推理的内容,并采用描述逻辑推理接口协议DIG集成描述逻辑推理引擎Racer实现了国共合作领域本体检错推理.

关键词：描述逻辑、本体检错、领域本体、本体推理、本体库结构、知识描述

所属期刊栏目：34

分类号：G254(图书馆学、图书馆事业)

资助基金：国家自然科学基金资助项目批准号70373047;教育部基地重大课题批准号05JJD870004研究成果之一,并得到中南财经政法大学博士引进科研启动基金

在线出版日期：2009-03-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：79-84