| 摘要 | 第1-3页 |
| Abstract | 第3-9页 |
| 第1章 绪论 | 第9-17页 |
| ·本体进化概述 | 第9-12页 |
| ·本体进化的原因 | 第9-10页 |
| ·本体进化的要求 | 第10页 |
| ·本体进化面临的问题 | 第10-11页 |
| ·本体进化和数据库schema 进化的不同 | 第11-12页 |
| ·课题研究背景 | 第12页 |
| ·国内外研究现状 | 第12-15页 |
| ·本文的研究目的和主要内容 | 第15-16页 |
| ·研究目的 | 第15-16页 |
| ·主要研究内容 | 第16页 |
| ·本文的结构 | 第16-17页 |
| 第2章 本体研究综述 | 第17-36页 |
| ·本体概述 | 第17-22页 |
| ·本体定义 | 第17-18页 |
| ·本体的建模元语 | 第18-19页 |
| ·本体的分类 | 第19-20页 |
| ·本体的应用 | 第20-22页 |
| ·本体的描述语言 | 第22-26页 |
| ·基于AI 的本体描述语言 | 第23-24页 |
| ·基于WEB 的本体描述语言 | 第24-26页 |
| ·本体的建模方法 | 第26-31页 |
| ·IDEF-5 方法 | 第26-27页 |
| ·骨架法 | 第27-28页 |
| ·企业建模法 | 第28-29页 |
| ·METH 本体方法 | 第29-30页 |
| ·循环获取法 | 第30-31页 |
| ·本体构建工具 | 第31-32页 |
| ·本体与语义WEB | 第32-35页 |
| ·Unicode 和URI | 第33页 |
| ·XML+NS+XML Schema | 第33-34页 |
| ·RDF/RDF Schema | 第34页 |
| ·本体层 | 第34页 |
| ·Logic, Proof, Trust 层 | 第34页 |
| ·数字签名 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第3章 本体描述语言OWL | 第36-46页 |
| ·OWL 的种类 | 第36-37页 |
| ·OWL 的子语言OWL Lite | 第36页 |
| ·OWL 子语言OWL DL | 第36页 |
| ·OWL 子语言OWL Full | 第36-37页 |
| ·OWL 子语言之间的关系 | 第37页 |
| ·OWL 本体结构 | 第37-40页 |
| ·命名空间 | 第38页 |
| ·本体头消息 | 第38-39页 |
| ·数据聚合和隐私 | 第39-40页 |
| ·OWL 的基本元素 | 第40页 |
| ·简单的类 | 第40页 |
| ·个体 | 第40页 |
| ·简单属性 | 第40-41页 |
| ·属性特性 | 第41-43页 |
| ·TransitiveProperty | 第41-42页 |
| ·SymmetricProperty | 第42页 |
| ·Functional Property | 第42-43页 |
| ·inverseOf | 第43页 |
| ·InverseFunctionalProperty | 第43页 |
| ·属性约束 | 第43-44页 |
| ·allValuesFrom, someValuesFrom | 第43-44页 |
| ·Cardinality | 第44页 |
| ·hasValue [OWL DL] | 第44页 |
| ·本体映射 | 第44-45页 |
| ·sameClassAs, samePropertyAs | 第44-45页 |
| ·sameIndividualAs | 第45页 |
| ·differentIndividualFrom | 第45页 |
| ·复杂类 | 第45页 |
| ·本章小结 | 第45-46页 |
| 第4章 课题关键技术研究 | 第46-50页 |
| ·本体进化的需求分析 | 第46页 |
| ·本体的变化机制 | 第46-47页 |
| ·版本机制 | 第47-48页 |
| ·数据访问 | 第47页 |
| ·推理一致性 | 第47-48页 |
| ·本体和副本本体之间的同步性 | 第48页 |
| ·数据的转换 | 第48页 |
| ·Web 上本体的标识 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 基于OWL 的本体进化模型 | 第50-58页 |
| ·变化的处理 | 第50-51页 |
| ·进化对象的捕捉 | 第51-52页 |
| ·相关概念的捕捉 | 第51-52页 |
| ·相关实例的捕捉 | 第52页 |
| ·相关应用的捕捉 | 第52页 |
| ·一致性分析 | 第52-54页 |
| ·结构一致性 | 第52-53页 |
| ·逻辑一致性 | 第53-54页 |
| ·用户自定义一致性 | 第54页 |
| ·进化对象的更新 | 第54-55页 |
| ·变化的传播 | 第55页 |
| ·版本管理 | 第55页 |
| ·变化的确认 | 第55-56页 |
| ·本体进化模型 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第6章 总结与展望 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 致谢 | 第63-64页 |
| 硕士期间成果 | 第64页 |
