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

被引：3

作者：

徐国虎 ^{[1
]}

许芳 ^{[2
]}

董慧 ^{[3
]}

机构：

[1] 中南财经政法大学工商管理学院

[2] 中南民族大学管理学院

[3] 武汉大学信息管理学院

来源：

中国图书馆学报 | 2008年 / 01期

关键词：

描述逻辑; 本体检错; 领域本体; 本体推理; 本体库结构; 知识描述;

D O I：

10.13530/j.cnki.jlis.2008.01.001

中图分类号：

B812 [形式逻辑（名学、辩学）];

学科分类号：

010104 ; 010105 ;

摘要：

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

引用

页码：79 / 84

页数：6