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

• 作者: 刘瑶 叶育鑫 孙吉贵 欧阳丹彤
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 本体 一致性检测 Tableau演算 优化技术
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 2008年全国理论计算机科学学术年会优秀论文
• 页码范围: 7-9,56
• 页数: 4页
• 分类号: TP301
• 字数: 4083字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.08.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶育鑫	吉林大学计算机科学与技术学院	19	130	7.0	11.0
2	孙吉贵		15	1708	7.0	15.0
3	欧阳丹彤		14	232	8.0	14.0
4	刘瑶	吉林大学计算机科学与技术学院	24	92	6.0	8.0