内容提要 | 第5-6页 |
摘要 | 第6-8页 |
Abstract | 第8-11页 |
第一章 绪论 | 第15-23页 |
§1.1 研究背景 | 第15-18页 |
§1.1.1 本体与本体工程 | 第15-16页 |
§1.1.2 语义 Web 与描述逻辑 | 第16页 |
§1.1.3 模型驱动架构与本体定义元模型 | 第16-17页 |
§1.1.4 二维描述逻辑及其应用 | 第17-18页 |
§1.2 国内外研究现状 | 第18-20页 |
§1.2.1 国外研究现状 | 第18-19页 |
§1.2.2 国内研究现状 | 第19-20页 |
§1.3 本文的工作 | 第20-23页 |
§1.3.1 研究的目的和意义 | 第20页 |
§1.3.2 主要研究成果 | 第20-23页 |
第二章 一种二维描述逻辑的元建模方法 | 第23-59页 |
§2.1 二维描述逻辑介绍 | 第23-34页 |
§2.1.1 描述逻辑介绍 | 第23-27页 |
§2.1.1.1 描述逻辑的语法 | 第23-25页 |
§2.1.1.2 描述逻辑的语义 | 第25-26页 |
§2.1.1.3 命名传统 | 第26-27页 |
§2.1.2 二维描述逻辑族 | 第27-34页 |
§2.1.2.1 简单互操作系统 | 第28-29页 |
§2.1.2.2 抽象互操作系统 | 第29-31页 |
§2.1.2.3 强表达能力二维描述逻辑 | 第31-32页 |
§2.1.2.4 基本的上下文描述逻辑 | 第32-34页 |
§2.2 二维描述逻辑元建模 | 第34-37页 |
§2.2.1 模型驱动架构简介 | 第34-35页 |
§2.2.2 本体定义元模型简介 | 第35-36页 |
§2.2.3 基于元对象设施的元建模 | 第36-37页 |
§2.3 二维描述逻辑的元模型 | 第37-58页 |
§2.3.1 简单互操作系统的元模型 | 第38-43页 |
§2.3.2 抽象互操作系统的元模型 | 第43-47页 |
§2.3.3 强表达能力二维描述逻辑的元模型 | 第47-51页 |
§2.3.4 基本上下文描述逻辑的元模型 | 第51-58页 |
§2.4 本章小结 | 第58-59页 |
第三章 面向二维描述逻辑的 Web 本体语言扩展 | 第59-71页 |
§3.1 简单互操作系统的 Web 本体语言 | 第59-61页 |
§3.2 抽象互操作系统的 Web 本体语言 | 第61-64页 |
§3.3 强表达能力二维描述逻辑的 Web 本体语言 | 第64-65页 |
§3.4 基本上下文描述逻辑的 Web 本体语言 | 第65-66页 |
§3.5 二维 Web 本体语言 | 第66-69页 |
§3.5.1 二维 Web 本体语言的抽象语法 | 第67页 |
§3.5.2 二维 Web 本体语言的语义 | 第67-69页 |
§3.6 本章小结 | 第69-71页 |
第四章 二维描述逻辑的度量 | 第71-79页 |
§4.1 本体度量简介 | 第71页 |
§4.2 二维描述逻辑本体图模型 | 第71-72页 |
§4.3 基本的度量准则 | 第72-74页 |
§4.4 二维描述逻辑的度量准则 | 第74-77页 |
§4.4.1 知识库的度量 | 第74-75页 |
§4.4.2 上下文相关的度量 | 第75-76页 |
§4.4.3 对象相关的度量 | 第76页 |
§4.4.4 上下文与对象间的度量 | 第76-77页 |
§4.5 本章小结 | 第77-79页 |
第五章 二维描述逻辑建模工具的设计与实现 | 第79-85页 |
§5.1 元模型与元建模 | 第79页 |
§5.2 基于元模型的建模工具的设计与开发 | 第79-81页 |
§5.3 二维描述逻辑建模工具的架构 | 第81-82页 |
§5.4 二维描述逻辑建模工具的实现 | 第82-84页 |
§5.5 本章小结 | 第84-85页 |
第六章 二维描述逻辑的应用 | 第85-91页 |
§6.1 上下文知识库 | 第85-86页 |
§6.2 上下文本体推理 | 第86-87页 |
§6.3 本体对齐和重用 | 第87-88页 |
§6.4 本体版本管理和变更分析 | 第88-89页 |
§6.5 本章小结 | 第89-91页 |
第七章 总结与展望 | 第91-95页 |
§7.1 已完成的工作 | 第91-92页 |
§7.2 下一步的研究工作 | 第92-95页 |
参考文献 | 第95-101页 |
作者读博期间的成果 | 第101-103页 |
致谢 | 第103页 |