本体推理机及应用.pdfVIP

2010 第19卷 第 9 期 计 算 机 系 统 应 用 本体推理机及应用① 潘 超 古 辉 (浙江工业大学 计算机科学与技术学院 浙江 杭州 310023) 要： 随着语义web 的迅速发展，基于本体的应用越来越多，本体推理机的应用也越来越为重要。本体推理 机可用于推理和查询语义，是实现语义Web 的关键技术之一。介绍了本体推理机及其分类、结构以及 相关技术，介绍了几种典型的本体推理机；分析了本体推理机的应用及其发展的趋势。 关键词： 本体; 推理; 本体推理机 Ontology Reasoner and Its Application PAN Chao, GU Hui (School of Computer Science and Technology, University of Technology, Hangzhou 310023, China) Abstract: With the rapid development of Sematic Web, application of ontology spring up and ontology reasoner application are widely used. Ontology reasoner is used to reason and query semanteme, and is one key technology in implementing Sematic Web. This paper introduces the techniques, classification, and structure of Ontology reasoner, and then introduces several Ontology reasoners. Lastly, this paper summarizes the application and the future work to be done on this topic. Keywords: ontology; reasoner ; ontology reasoner 1 引言 完成问题求解。推理机(Inference Engine)常见于专 本体推理机是实现语义Web 的关键技术之一。目 家系统，它是对知识进行解释的程序，根据知识的语 前一些本体推理系统已经用于推理和查询语义 Web 义，按一定策略找到的知识进行解释执行。 [1] [6] (Sematic Web) ，其中比较典型的有W3C 对本体进 本体 (Ontology)是共享概念模型的的形式化规 [2] 范说明。这个定义包含了四层含义：概念模型、明确、 行测试的本体推理机 ，DIG 基于描述逻辑实现的本 [3] 形式化和共享。概念模型是指通过抽象出客观世界中 体推理机 ，一些集成在语义网开发平台(如 HP 实验 室的J ena[4]、德国Karlsruhe 大学的KAON2[5])和本 的一些现 的相关概念而得到的模型，概念模型所表 体管理系统(如IBM 的SNOBASE 系统)中的推理引擎。 现得含义独立于具体的环境状态；明确指所使用的概 各种本体推理系统所使用的推理算法和最优化技 念及使用这些概念的约束都有明确的定义；形式化指 术存在差异。本文对当前一些主流本体推理机及其结 本体是能被计算机处理；共享指本体中体现的是共同 构分类进行研究，分析了典型的推理技术及常用推理