-
题名基于本体的UML类图语义推理
被引量：5
- 1
-
-
作者
刘嘉
童格明
李明
臧凤奎
-
机构
兰州理工大学计算机与通信学院
-
出处
《计算机应用与软件》
CSCD
2011年第4期212-214,共3页
-
文摘
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
-
关键词
本体
uml类图
形式化
描述逻辑
-
Keywords
ontology uml class diagram formalisation description logic
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于SHOIN(D)的UML类图形式化方法
被引量：16
- 2
-
-
作者
陈振庆
-
机构
贺州学院计算机科学与工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第19期43-45,共3页
-
基金
广西青年科学基金资助项目"描述逻辑及其在语义Web中的应用"(桂科青0640030)
-
文摘
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。
-
关键词
uml类图
描述逻辑
描述逻辑SHOIN(D)
形式化
-
Keywords
uml class diagram
description logics（DLs）
description logics SHOIN（D）
formalization
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于描述逻辑的UML类图一致性检测
被引量：6
- 3
-
-
作者
陈振庆
-
机构
贺州学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第17期4023-4026,4034,共5页
-
基金
广西青年科学基金项目(桂科青0640030)
-
文摘
为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测。最后以实例证明了该方案的可行性。
-
关键词
uml类图
描述逻辑
OWL
DL本体
知识库
一致性检测
-
Keywords
uml class diagram
description logics
OWL DL ontology
knowledge base
consistency checking
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于描述逻辑的带依赖属性UML类图
- 4
-
-
作者
陈振庆
-
机构
广西贺州学院计算机科学与工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第15期49-51,共3页
-
基金
广西壮族自治区教育厅基金资助项目"基于描述逻辑的UML类图形式化方法及推理研究"(200911LX444)
-
文摘
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
-
关键词
统一建模语言类图
描述逻辑
依赖属性
知识库
推理
-
Keywords
Unified Modeling Language（uml） class diagrams
description logics
dependence attributes
knowledge bases
reasoning
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
