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

• 作者: 刘嘉 李明 童格明 臧凤奎
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 本体 UML类图 形式化 描述逻辑
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 212-214
• 分类号: TP391.1
• 字数: 3778字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.04.063

摘要

统一建模语言(IJML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题.在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明	兰州理工大学计算机与通信学院	115	778	15.0	21.0
2	童格明	兰州理工大学计算机与通信学院	3	28	2.0	3.0
3	刘嘉	兰州理工大学计算机与通信学院	6	27	2.0	5.0
4	臧凤奎	兰州理工大学计算机与通信学院	3	25	3.0	3.0