|
|||||
|
|
| 基于描述逻辑的UML类图一致性检测 | |
| 引用本文： | 陈振庆.基于描述逻辑的UML类图一致性检测[J].计算机工程与设计,2009,30(17). |
| 作者姓名： | 陈振庆 |
| 作者单位： | 贺州学院,计算机科学与工程系,广西,贺州,542800 |
| 基金项目： | 广西青年科学基金项目 |
| 摘 要： | 为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案.该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测,最后以实例证明了该方案的可行性. |
| 关 键 词： | UML类图 描述逻辑 OWLDL本体 知识库 一致性检测 |
| 本文献已被 万方数据 等数据库收录！ | |