Consistency checking of UML class diagram based on description logics
Zhen-Qing Chen · Jisuanji gongcheng yu sheji · 2009
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.