计算机应用与软件2011，Vol.28Issue(8)：190-192,243,4.
基于OWL本体的UML类图推理
OWL ONTOLOGY-BASED UML CLASS DIAGRAM REASONING
摘要
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 the Jena's inference mechanism,the reasoning of inclusion relationship,satisfiability,equivalence relationship and separation relationship in UML class diagram is achieved.关键词
OWL本体/UML类图/映射规则/推理规则/推理Key words
OWL ontology UML Class Diagram Mapping rule Reasoning rule Reasoning分类
信息技术与安全科学引用本文复制引用
陈振庆,罗兰花..基于OWL本体的UML类图推理[J].计算机应用与软件,2011,28(8):190-192,243,4.基金项目
广西自治区教育厅项目(200911LX444). （200911LX444）
