基于SHOIQ(D)的本体一致性检测

被引：15

作者：

叶育鑫

欧阳丹彤

刘瑶

孙吉贵

机构：

[1] 吉林大学计算机科学与技术学院

[2] 符号计算与知识工程教育部重点实验室

来源：

计算机工程与科学 | 2009年 / 31卷 / 08期

基金：

国家自然科学基金重大项目;

关键词：

本体; 一致性检测; Tableau演算; 优化技术;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

140502 [人工智能];

摘要：

SHOIQ(D)是一种表述能力较强的本体知识表示语言。一致性检测是本体推理的核心任务之一,其它推理任务都可以等效地转换为一致性检测问题。本文在对Tableau演算研究的基础上,通过引入回跳和布尔约束传播优化技术,提高算法推理效率,并以此算法为核心,给出基于SHOIQ(D)语言的本体一致性检测推理机的总体设计方案及实现。

引用

页码：7 / 9+56 +56

页数：4