UML类图转换到OWL DL本体的一种形式化方法的研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 引言 | 第10-20页 |
| ·研究背景 | 第10-14页 |
| ·语义Web的应用前景 | 第10-12页 |
| ·语义Web的层次结构 | 第12-14页 |
| ·研究的意义 | 第14-15页 |
| ·本体在语义Web中的作用 | 第14-15页 |
| ·本体学习 | 第15页 |
| ·研究现状 | 第15-18页 |
| ·论文内容与结构 | 第18-20页 |
| 第2章 本体语言OWL | 第20-36页 |
| ·OWL的产生 | 第20-23页 |
| ·本体语言的必备条件 | 第20-21页 |
| ·RDF Schema在表示能力上的局限性 | 第21-22页 |
| ·OWL的分类 | 第22-23页 |
| ·OWL DL语言 | 第23-36页 |
| ·语法 | 第23-24页 |
| ·头信息 | 第24-25页 |
| ·类 | 第25-28页 |
| ·属性 | 第28-30页 |
| ·属性约束 | 第30-33页 |
| ·个体 | 第33-34页 |
| ·小结 | 第34-36页 |
| 第3章 UML类图与OWL DL的比较 | 第36-54页 |
| ·UML类图 | 第36-45页 |
| ·类 | 第36-39页 |
| ·类的高级特性 | 第39-40页 |
| ·关系 | 第40-45页 |
| ·UML类图与OWL DL特征的比较 | 第45-51页 |
| ·相似的元素 | 第45-50页 |
| ·二者特有的元素 | 第50-51页 |
| ·小结 | 第51-54页 |
| 第4章 UML类图到OWL DL本体的映射方法 | 第54-68页 |
| ·UML类图与OWL DL的逻辑基础 | 第54-58页 |
| ·OWL DL的逻辑基础 | 第55-57页 |
| ·UML类图的逻辑基础 | 第57-58页 |
| ·UML类图与OWL DL本体的形式化定义 | 第58-62页 |
| ·UML类图的形式化定义 | 第58-60页 |
| ·OWL DL本体的形式化定义 | 第60-62页 |
| ·UML类图到OWL DL本体的映射规则 | 第62-66页 |
| ·词汇表映射到本体标识符集 | 第62-63页 |
| ·创建OWL DL公理 | 第63-66页 |
| ·小结 | 第66-68页 |
| 第5章 转换工具的设计与实现 | 第68-76页 |
| ·系统的设计 | 第68-71页 |
| ·系统的功能 | 第68-69页 |
| ·系统结构 | 第69页 |
| ·内存数据结构 | 第69-71页 |
| ·系统实现 | 第71-75页 |
| ·UML元数据的提取 | 第72-74页 |
| ·数据转换 | 第74-75页 |
| ·输出本体 | 第75页 |
| ·小结 | 第75-76页 |
| 第6章 总结与展望 | 第76-78页 |
| 参考文献 | 第78-80页 |
| 致谢 | 第80页 |
