基于E-Connections理论的本体集成研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-15页 |
| ·选题背景 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·Ontolingua本体服务器 | 第11页 |
| ·WonderWeb项目 | 第11-12页 |
| ·C-OWL语言 | 第12-13页 |
| ·DDL语言 | 第13页 |
| ·P-DL语言 | 第13页 |
| ·主要的研究内容 | 第13-14页 |
| ·论文的组织结构 | 第14-15页 |
| 第2章 描述逻辑 DL | 第15-30页 |
| ·描述逻辑ALC | 第16-18页 |
| ·更强的描述逻辑 | 第18-24页 |
| ·其他的概念构造子 | 第19-20页 |
| ·角色构造子 | 第20-22页 |
| ·RBox中的其他公理 | 第22-23页 |
| ·连接到数据类型 | 第23-24页 |
| ·描述逻辑的及SH族 | 第24-29页 |
| ·小结 | 第29-30页 |
| 第3章 OWL和E-Connections理论 | 第30-46页 |
| ·OWL语言 | 第30-37页 |
| ·OWL-DL | 第33-37页 |
| ·抽象描述系统与E-Connections | 第37-45页 |
| ·抽象描述系统ADS | 第37-39页 |
| ·E-Connections | 第39-45页 |
| ·小结 | 第45-46页 |
| 第4章 EBOIS原型系统的设计 | 第46-56页 |
| ·系统构建的可行性 | 第46-47页 |
| ·系统需求 | 第47-48页 |
| ·系统框架 | 第48-50页 |
| ·有关算法 | 第50-54页 |
| ·转化算法(OWL2EMO) | 第51-52页 |
| ·抽取算法(MO2SKB) | 第52-53页 |
| ·推理算法(REASON) | 第53-54页 |
| ·小结 | 第54-56页 |
| 第5章 系统的实现和验证 | 第56-67页 |
| ·开发环境 | 第56-57页 |
| ·开发环境配置 | 第56-57页 |
| ·核心模块的实现 | 第57-62页 |
| ·本体分解模块的实现 | 第58-60页 |
| ·共享知识抽取模块的实现 | 第60页 |
| ·本体推理查询模块的实现 | 第60-62页 |
| ·系统的运行和验证 | 第62-66页 |
| ·系统运行 | 第62-65页 |
| ·验证 | 第65-66页 |
| ·小结 | 第66-67页 |
| 结论 | 第67-69页 |
| 参考文献 | 第69-74页 |
| 附录A | 第74-79页 |
| 攻读学位期间公开发表论文 | 第79-80页 |
| 致谢 | 第80-81页 |
| 研究生履历 | 第81页 |
