基于SetPi-演算的本体演化模型

提要	第1-5页
摘要	第5-7页
Abstract	第7-11页
第1章 绪论	第11-15页
·研究背景	第11-13页
·本体及本体演化	第11-12页
·Pi-演算	第12-13页
·本文的目的和主要工作	第13-14页
·本文的结构	第14-15页
第2章 Pi-演算概述	第15-18页
·语法定义	第15-16页
·规则定义	第16-18页
第3章 SetPi-演算	第18-25页
·SetPi-演算的语法和规则	第18-21页
·语法定义	第18-19页
·操作语义	第19-20页
·结构同余规则	第20-21页
·自由名字与约束名字	第21页
·用例	第21-23页
·SetPi-演算在移动Ad Hoc网络的应用	第23-25页
第4章 本体演化的相关研究	第25-29页
·本体演化产生的原因	第25页
·本体演化的过程	第25-26页
·本体演化的形式化表示	第26-27页
·本体演化的研究现状	第27-29页
第5章 基于SetPi-演算的本体演化模型	第29-45页
·本体到SetPi-演算的映射	第29-31页
·本体演化过程模型	第31-41页
·基本变更	第32-34页
·复合变更	第34-37页
·复杂变更	第37-41页
·基于SetPi-演算的本体结构一致性分析	第41-45页
第6章 总结	第45-47页
参考文献	第47-49页
作者简介及在学期间所取得的科研成果	第49-50页
致谢	第50页