| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-16页 |
| ·语义网与本体 | 第11-13页 |
| ·本体演化 | 第13-14页 |
| ·本文主要工作 | 第14-16页 |
| 第2章 研究背景 | 第16-21页 |
| ·本体演化研究 | 第16-17页 |
| ·本体演化形式化表示方法 | 第17-21页 |
| 第3章 本体演化模型 | 第21-25页 |
| ·本体模型 | 第21-24页 |
| ·本体一致性需求 | 第24-25页 |
| 第4章 本体演化的形式化表示 | 第25-44页 |
| ·Pi 演算系统 | 第25-28页 |
| ·本体演化的分类 | 第28-31页 |
| ·二元结构中实体的添加和删除 | 第30页 |
| ·三元结构中实体的添加和删除 | 第30-31页 |
| ·本体演化的形式化 | 第31-39页 |
| ·本体演化实例 | 第39-44页 |
| ·建立子类结构 | 第39-41页 |
| ·删除子类 | 第41-44页 |
| 第5章 总结 | 第44-45页 |
| 参考文献 | 第45-49页 |
| 导师及作者简介 | 第49-50页 |
| 后记和致谢 | 第50页 |