摘要
为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测。最后以实例证明了该方案的可行性。
To solve the problems of UML class diagram' s consistency checking, the characteristics of UML class diagram and DLs and OWL DL are analyzed, then expression forms of OWL DL is obtained. The validity of transformation is testified by investigating into measures that UML class diagram is transformed into ontology knowledge base of OWL DL, and the strategy of UML class diagram consistency checking based on the description logics is put forward. In the strategy, the UML class diagram is transformed into ontology knowledge base of OWL DL, which is employed to check the consistency of UML class diagram by means of its powerful inference function. Finally, a case study is presented to verify the feasibility of the strategy.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第17期4023-4026,4034,共5页
Computer Engineering and Design
基金
广西青年科学基金项目(桂科青0640030)
关键词
UML类图
描述逻辑
OWL
DL本体
知识库
一致性检测
UML class diagram
description logics
OWL DL ontology
knowledge base
consistency checking