本体演化的表示方法及其验证

摘要	第1-6页
Abstract	第6-10页
第1章 引言	第10-12页
·本体演化	第10-11页
·本文主要工作	第11-12页
第2章 本体演化建模研究现状	第12-20页
·本体演化研究	第12-13页
·本体演化形式化表示方法	第13-16页
·基于演算的本体演化表示方法	第16-19页
·汪的方法	第16-17页
·范的方法	第17-18页
·卢的方法	第18-19页
·本章小结	第19-20页
第3章 本体元模型	第20-25页
·本体模型	第20-23页
·本体结构分类	第23-24页
·本章小结	第24-25页
第4章 本体演化的形式化表示	第25-39页
·Pi演算	第25-28页
·本体演化的通信语义	第28-31页
·本体演化的形式化	第31-38页
·本章小结	第38-39页
第5章 基于MWB的验证	第39-55页
·MWB简介	第39页
·MWB的使用	第39-42页
·MWB中的Pi文法	第39-40页
·MWB中的命令	第40-41页
·MWB中的错误提示	第41-42页
·实验内容	第42-43页
·实验步骤	第43-54页
·创建子类关系实验	第43-52页
·删除子类关系实验	第52-54页
·实验结论	第54-55页
第6章 总结	第55-56页
参考文献	第56-60页
作者简介	第60-61页
后记和致谢	第61页