摘要
SHOIQ(D)是一种表述能力较强的本体知识表示语言。一致性检测是本体推理的核心任务之一,其它推理任务都可以等效地转换为一致性检测问题。本文在对Tableau演算研究的基础上,通过引入回跳和布尔约束传播优化技术,提高算法推理效率,并以此算法为核心,给出基于SHOIQ(D)语言的本体一致性检测推理机的总体设计方案及实现。
SHOIQ（D） is a language of knowledge presentation with powertul expressive capabilities to describe Ontology. Consistency checking is a key inference problem of Ontology reasoning, in which other inferences can also be reduced. Tableau calculus and its optimization technologies are studied in this paper. Rebound and the Boolean constraint propagation optimation are brought into SHOIQ（D） to increase the reasoning efficiency. Finally, the reasoner of consistency checking is implemented by using the algorithm of SHOIQ（D） -based ontology.
出处
《计算机工程与科学》
CSCD
北大核心
2009年第8期7-9,56,共4页
Computer Engineering & Science
基金
国家自然科学基金资助项目(60773097)
国家自然科学基金重大项目基金(60496320,60496321)
新世纪优秀人才支持计划资助项目
吉林省科技发展计划资助项目(20060532,20080107)
欧盟项目基金资助项目TH/AsiaLink/010(111084)
关键词
本体
一致性检测
Tableau演算
优化技术
ontology
consistency checking
tableau calculus
optimization technologies
