| 中文摘要 | 第1-3页 |
| ABSTRACT | 第3-7页 |
| 第一章 绪论 | 第7-9页 |
| ·课题的研究背景 | 第7页 |
| ·课题的研究现状 | 第7-8页 |
| ·课题的研究目标 | 第8页 |
| ·论文的结构 | 第8-9页 |
| 第二章 软件体系结构和层模式的技术基础 | 第9-15页 |
| ·软件体系结构的提出和发展 | 第9-10页 |
| ·软件体系结构的定义 | 第10-12页 |
| ·Dewayne Perry和A1ex Wolf定义 | 第10-11页 |
| ·Mary Shaw和David Garlan定义 | 第11页 |
| ·Bass，Ctements和Kazman定义 | 第11页 |
| ·Booch，Rumbugh和Jacobs定义 | 第11页 |
| ·Barry Boehm定义 | 第11-12页 |
| ·层模式的引入 | 第12-13页 |
| ·基于规则的软件系统结构 | 第13-15页 |
| 第三章 语义Web的相关理论背景 | 第15-23页 |
| ·语义Web的基本概念 | 第15-16页 |
| ·语义Web的体系结构 | 第16-22页 |
| ·Unicode和URI | 第16-17页 |
| ·XML、NameSpace和XML Schema | 第17-18页 |
| ·RDF和RDF Schema | 第18-19页 |
| ·Ontology Vocabulary | 第19-20页 |
| ·Logic | 第20-21页 |
| ·Proof、Trust和Digital Signature | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第四章 规则层的形成 | 第23-33页 |
| ·规则(Rules) | 第23-24页 |
| ·规则的产生 | 第24-26页 |
| ·规则的标准化 | 第26-29页 |
| ·规则的ECA形式 | 第29-31页 |
| ·规则冲突的解决方法 | 第31-33页 |
| ·可废止逻辑(Defeasible Logics) | 第31-32页 |
| ·GCLP (Generalized Courteous Logic Programs) | 第32-33页 |
| 第五章 规则层推理机制的实现与通信方式 | 第33-48页 |
| ·规则引擎 | 第33-35页 |
| ·规则引擎的定义 | 第33页 |
| ·规则引擎的结构 | 第33-34页 |
| ·规则引擎的使用 | 第34-35页 |
| ·Mandarax | 第35页 |
| ·Prova | 第35-37页 |
| ·Prova的语法 | 第36页 |
| ·在ECA中加入语义 | 第36-37页 |
| ·规则层与其他层的通信方式 | 第37-39页 |
| ·规则层与数据层的通信方式 | 第37-39页 |
| ·规则层与表示层的通信方式 | 第39页 |
| ·基于规则的软件体系结构 | 第39-40页 |
| ·规则层应用实验 | 第40-48页 |
| ·需求分析 | 第40-41页 |
| ·详细设计 | 第41-47页 |
| ·应用实验结果分析 | 第47-48页 |
| 第六章 总结与展望 | 第48-50页 |
| ·总结 | 第48页 |
| ·展望 | 第48-50页 |
| 参考文献 | 第50-52页 |
| 发表论文和科研情况说明 | 第52-53页 |
| 致谢 | 第53页 |
