基于本体推理的Web服务匹配研究
| 摘要 | 第1-3页 |
| Abstract | 第3-7页 |
| 1 绪论 | 第7-12页 |
| ·选题背景 | 第7-8页 |
| ·国内外研究现状 | 第8-10页 |
| ·研究的主要内容 | 第10-12页 |
| 2 语义万维网 | 第12-21页 |
| ·语义 Web 体系结构 | 第12-13页 |
| ·本体的概述 | 第13-15页 |
| ·本体的概念 | 第13-14页 |
| ·本体的建模元语 | 第14-15页 |
| ·本体描述语言 | 第15-21页 |
| ·RDF(S) | 第16-18页 |
| ·OIL | 第18页 |
| ·DAML | 第18-19页 |
| ·OWL | 第19-21页 |
| 3 本体的推理研究 | 第21-40页 |
| ·描述逻辑 | 第21-30页 |
| ·描述逻辑的基本概念 | 第21-25页 |
| ·术语公理TBOX 及其推理 | 第25-26页 |
| ·实例断言ABOX 及其推理 | 第26-27页 |
| ·Tableaux 算法 | 第27-28页 |
| ·描述逻辑与本体语言的关系 | 第28-30页 |
| ·Racer | 第30-35页 |
| ·Racer 的基本特点 | 第30-32页 |
| ·Racer 中的语法与描述逻辑的句法的对应关系 | 第32-33页 |
| ·举例说明 | 第33-35页 |
| ·利用本体推理实现查询重新定义 | 第35-39页 |
| ·问题的提出 | 第35页 |
| ·概念收缩法和概念试推法 | 第35-36页 |
| ·查询重新定义的算法 | 第36-37页 |
| ·一个用例 | 第37-39页 |
| ·小结 | 第39-40页 |
| 4 语义 Web 服务 | 第40-55页 |
| ·Web 服务 | 第40-47页 |
| ·什么是Web 服务 | 第40-43页 |
| ·Web 服务主要技术 | 第43-45页 |
| ·Web 服务的发展趋势 | 第45-47页 |
| ·语义 Web 服务描述模型 OWL-S | 第47-55页 |
| ·OWL-S 的功能 | 第47页 |
| ·OWL-S 的结构 | 第47-52页 |
| ·OWL-S 示例 | 第52-55页 |
| 5 语义 Web 服务匹配 | 第55-65页 |
| ·语义 Web 服务匹配结构设计 | 第55-56页 |
| ·基于本体推理的 Web 服务匹配 | 第56-61页 |
| ·语义相关度 | 第61-64页 |
| ·本体结构 | 第61-62页 |
| ·语义相关度的算法 | 第62-64页 |
| ·小结 | 第64-65页 |
| 6 总结与展望 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69-70页 |
| 论文发表情况 | 第70页 |
