基于本体的UML类图语义推理  

ONTOLOGY-BASED SEMANTICS REASONING OF UML CLASS DIAGRAM

作　　者：刘嘉[1] 童格明[1] 李明[1] 臧凤奎[1] 

机构地区：[1]兰州理工大学计算机与通信学院,甘肃兰州730050

出　　处：《计算机应用与软件》2011年第4期212-214,共3页Computer Applications and Software

摘　　要：统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。Unified modelling language（UML） is a semi-formal language,its semantics sector is described with natural language,which leads to the semantic inconformity in the process of modelling.The paper presents a formal method of UML class diagram based on detailed comparison of UML class diagram and ontology.Firstly we transform the UML class diagram to corresponding ontology;then we reason the transformed ontology according to the reasoning algorithm of Tableau provided by the ontology,and detect the inconformity in it so as to modify the UML class diagram,at the end we obtain the accurate UML class diagram.

关 键 词：本体 UML类图 形式化 描述逻辑 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]