计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
8期
190-192,243
,共4页
OWL本体%UML类图%映射规则%推理规则%推理
OWL本體%UML類圖%映射規則%推理規則%推理
OWL본체%UML류도%영사규칙%추리규칙%추리
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.
分析UML模型一緻性檢測的研究意義,以及UML類圖推理的研究現狀,提齣一種基于OWL本體的UML類圖推理方案.研究UML類圖嚮OWL本體轉換的映射規則,給齣UML類圖包含關繫、可滿足性、等價關繫和相離關繫的判斷方法及其推理規則.利用Jena推理機製實現瞭UML類圖包含關繫、可滿足性、等價關繫和相離關繫的推理.
분석UML모형일치성검측적연구의의,이급UML류도추리적연구현상,제출일충기우OWL본체적UML류도추리방안.연구UML류도향OWL본체전환적영사규칙,급출UML류도포함관계、가만족성、등개관계화상리관계적판단방법급기추리규칙.이용Jena추리궤제실현료UML류도포함관계、가만족성、등개관계화상리관계적추리.
