| 【中文题名】 | 本体查询与推理研究及其实现 |
| 【英文题名】 | Research and Implementation of Ontology Query and Reasoning |
| 【学科专业】 | 计算机应用技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-10-16 |
| 【中关键词】 | 语义Web,本体,描述逻辑,本体推理,本体查询, |
| 【英关键词】 | Semantic Web,Ontology,Description Logic,Ontology Reasoning,Ontology Query, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机的应用>信息处理(信息加工)>文字信息处理 |
| 【论文摘要】 |
语义Web作为目前Web的一个延伸，目标是使Web上的数据具有机器可识别的语义，便于人机之间的交互与合作。本体推理机是实现语义Web的关键基础支撑软件之一，基于此，本文研发了DOOR(DL-based OntOlogy Reasoner，基于描述逻辑的本体推理机)，DOOR作为一个本体查询推理引擎，它有两个明确的任务：一个是接受用户对本体的查询命令，执行查询并向用户提交查询结果，另一个就是负责执行对本体进行一致性检验及分类等推理功能。本文的工作主要围绕以下几个方面展开：
首先，全面剖析了当前本体推理机系统，剖析角度涵盖了本体推理机类别、作用、主要实现技术、应用系统一般结构等方面，另外还总结了本体推理机的最新发展趋势。这些可以为本体推理机应用和开发用户提供有益的参考；
其次，设计并实现了一个基于描述逻辑的本体查询推理系统DOOR，它不仅可以解析和执行本体查询命令，也能够执行针对OWL-DL级别本体的推理功能。同时作者结合当前一些主流本体推理机实现的本体推理功能，基于OWL-API提出了一个OntologyInference API方案，为本体推理机和应用程序之间的交互提供了一个统一的接... |
| 【论文题纲】 |
|
摘要 |
3-4 |
|
ABSTRACT |
4-8 |
|
第一章 绪论 |
8-18 |
|
1.1 前言 |
8-11 |
|
1.1.1 语义 Web |
8-9 |
|
1.1.2 本体 |
9-10 |
|
1.1.3 描述逻辑 |
10-11 |
|
1.2 研究背景 |
11-14 |
|
1.2.1 SNAX概述 |
12-13 |
|
1.2.2 DOOR与 SNAX的关系 |
13-14 |
|
1.3 研究内容 |
14 |
|
1.4 国内外研究现状 |
14-16 |
|
1.5 论文组织结构 |
16-17 |
|
1.6 小结 |
17-18 |
|
第二章 本体描述、查询语言及推理机概述 |
18-28 |
|
2.1 本体描述语言概述 |
18-20 |
|
2.2 本体查询语言概述 |
20-21 |
|
2.3 本体推理机概述 |
21-27 |
|
2.3.1 本体推理机分类及其基本任务 |
21-23 |
|
2.3.2 Web环境下本体推理的主要应用 |
23 |
|
2.3.3 本体推理机一般应用系统结构 |
23-25 |
|
2.3.4 本体推理机主要实现技术 |
25-26 |
|
2.3.5 典型本体推理机介绍 |
26 |
|
2.3.6 本体推理机最新发展趋势 |
26-27 |
|
2.4 小结 |
27-28 |
|
第三章 DOOR系统设计与实现 |
28-44 |
|
3.1 DOOR系统架构 |
28-38 |
|
3.1.1 本体解析器 |
29-31 |
|
3.1.2 本体查询引擎 |
31-33 |
|
3.1.3 本体推理引擎 |
33-35 |
|
3.1.4 API接口 |
35-38 |
|
3.2 规则扩展支持 |
38-39 |
|
3.3 Tableau算法 |
39-42 |
|
3.4 DOOR系统运行演示 |
42-43 |
|
3.5 小结 |
43-44 |
|
第四章 本体推理机对比测试实验 |
44-54 |
|
4.1 本体推理机评估方案 |
44-45 |
|
4.2 系统功能测试 |
45-48 |
|
4.2.1 本体选择方案 |
46 |
|
4.2.2 本体查询语句设计 |
46-48 |
|
4.3 应用用户角度对比分析 |
48-49 |
|
4.4 开发用户角度对比分析 |
49 |
|
4.5 实验结果分析与展望 |
49-53 |
|
4.6 小结 |
53-54 |
|
第五章 总结与展望 |
54-56 |
|
5.1 研究工作及成果总结 |
54-55 |
|
5.2 进一步研究方向 |
55-56 |
|
参考文献 |
56-59 |
|
附录 |
59-62 |
|
致谢 |
62-63 |
|
攻读学位期间主要研究成果 |
63 |
|
| 【DOI】 | LunWen.ID:2.2008.389098 |
