10.3969/j.issn.1000-386X.2011.08.055
基于OWL本体的UML类图推理
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.
OWL本体、UML类图、映射规则、推理规则、推理
28
TP181(自动化基础理论)
广西自治区教育厅项目200911LX444
2011-12-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
190-192,243