基于描述逻辑的UML类图一致性检测

• 作者: 陈振庆
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: UML类图 描述逻辑 OWLDL本体 知识库 一致性检测
• 年，卷（期）: 2009,（17）
• 所属期刊栏目: 软件与算法
• 页码范围: 4023-4026,4034
• 页数: 5页
• 分类号: TP181
• 字数: 4256字
• 语种: 中文

摘要

为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案.该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测,最后以实例证明了该方案的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈振庆	贺州学院计算机科学与工程系	15	87	6.0	9.0