面向事实的两层本体建模方法研究
| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-30页 |
| ·研究背景与意义 | 第12-14页 |
| ·本体建模相关技术的发展状况 | 第14-18页 |
| ·本体的构成与形式化定义 | 第14-15页 |
| ·本体语言 | 第15页 |
| ·本体开发相关的工程方法 | 第15-17页 |
| ·本体工具 | 第17-18页 |
| ·本体建模面临的挑战和相关研究 | 第18-24页 |
| ·面向事实的信息建模方法ORM | 第24-27页 |
| ·ORM简介 | 第24-25页 |
| ·ORM与主流本体语言的建模比较 | 第25-27页 |
| ·本文的主要内容和结构 | 第27-30页 |
| 第2章 FOOM方法的建模原理及其形式化本体模型 | 第30-50页 |
| ·面向事实的两层本体建模 | 第30-37页 |
| ·面向事实的本体建模 | 第30-33页 |
| ·两层管理框架和两层建模原则 | 第33-35页 |
| ·建模示例 | 第35-37页 |
| ·领域本体的结构与形式化定义 | 第37-43页 |
| ·领域本体的两层结构 | 第38页 |
| ·结构本体的构成与定义 | 第38-41页 |
| ·应用本体的构成与表达方式 | 第41-42页 |
| ·概念的期望模型和合法模型 | 第42-43页 |
| ·本体之间的互操作和互连关系 | 第43-48页 |
| ·领域边界标识 | 第43-44页 |
| ·不同领域本体中等价概念的互连 | 第44-45页 |
| ·领域本体与上层本体的连接 | 第45-47页 |
| ·扩展的领域本体体系结构 | 第47-48页 |
| ·与其它本体建模方法的比较 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第3章 FOOM方法的本体建模语言FOOL | 第50-73页 |
| ·基于ORW构造FOOL语言 | 第50-51页 |
| ·FOOL语言的一阶逻辑形式化语义 | 第51-61页 |
| ·基本思路和预定义 | 第52-53页 |
| ·结构本体的形式化语义 | 第53-54页 |
| ·约束的形式化语义 | 第54-61页 |
| ·FOOL语言的本体定义元模型FOOL-ODM | 第61-68页 |
| ·FOOM本体基本结构的本体定义元模型 | 第62-63页 |
| ·结构本体的本体定义元模型 | 第63-64页 |
| ·约束的本体定义元模型 | 第64-68页 |
| ·FOOL语言的XML模式FOOL-ML | 第68-71页 |
| ·FOOL语言的抽象语法 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 第4章 FOOM本体转换为OWL公理和CL表达式 | 第73-88页 |
| ·FOOM本体转换为OWL公理 | 第73-81页 |
| ·结构本体转换为OWL公理 | 第73-75页 |
| ·约束转换为OWL公理 | 第75-81页 |
| ·FOOM本体转换为CL表达式 | 第81-87页 |
| ·元术语和术语 | 第82-83页 |
| ·结构本体转换为CLIF文本 | 第83-84页 |
| ·约束转换为CLIF文本 | 第84-87页 |
| ·本章小结 | 第87-88页 |
| 第5章 FOOM模型的合并与局部语义冲突检查 | 第88-101页 |
| ·FOOM模型的合并方法 | 第88-91页 |
| ·结构本体的合并方法 | 第88-89页 |
| ·约束的合并方法 | 第89-91页 |
| ·FOOM模型的局部语义冲突即时检查模式和算法 | 第91-100页 |
| ·相关研究工作 | 第91-94页 |
| ·局部语义冲突的即时检查模式及算法 | 第94-100页 |
| ·本章小结 | 第100-101页 |
| 第6章 FOOM方法的本体建模过程和建模工具设计 | 第101-112页 |
| ·FOOM本体的演化模式和建模策略 | 第101-102页 |
| ·FOOM方法的本体建模过程 | 第102-108页 |
| ·构建领域本体的基本方案 | 第103页 |
| ·结构本体的建模过程 | 第103-106页 |
| ·应用本体的建模过程 | 第106-108页 |
| ·FOOM建模工具的体系结构 | 第108-111页 |
| ·本章小结 | 第111-112页 |
| 结论 | 第112-114页 |
| 参考文献 | 第114-124页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第124-127页 |
| 致谢 | 第127-128页 |
| 个人简历 | 第128页 |
