| 基于OWL本体的UML类图推理 |
| |
| 引用本文： | 陈振庆,罗兰花.基于OWL本体的UML类图推理[J].计算机应用与软件,2011,28(8):190-192,243. |
| |
| 作者姓名： | 陈振庆 罗兰花 |
| |
| 作者单位： | 广西贺州学院计算机科学与工程系,广西,贺州,542800 |
| |
| 基金项目： | 广西自治区教育厅项目(200911LX444) |
| |
| 摘 要： | 分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.
|
| 关 键 词： | OWL本体 UML类图 映射规则 推理规则 推理 |
OWL ONTOLOGY-BASED UML CLASS DIAGRAM REASONING |
| |
| Chen Zhenqing,Luo Lanhua.OWL ONTOLOGY-BASED UML CLASS DIAGRAM REASONING[J].Computer Applications and Software,2011,28(8):190-192,243. |
| |
| Authors: | Chen Zhenqing Luo Lanhua |
| |
| Affiliation: | Chen Zhenqing Luo Lanhua(Department of Computer Science and Engineering,Guangxi Hezhou University,Hezhou 542800,Guangxi,China) |
| |
| Abstract: | Firstly,the significance of the research on UML models consistency checking as well as the status quo of the research on UML class diagram reasoning are analysed in this paper;a UML class diagram reasoning scheme on the basis of OWL ontology is proposed.Then the mapping rule of converting UML class diagram to OWL ontology is studied;the judging way and reasoning rule of inclusion relationship,satisfiability,equivalence relationship and separation relationship in UML class diagram are set up.Finally,by using... |
| |
| Keywords: | OWL ontology UML Class Diagram Mapping rule Reasoning rule Reasoning |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
