基于描述逻辑的OntoUML模型的形式化表示

• 作者: 李瑛 杨斌 谢晓方 齐玉东
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: OntoUML 描述逻辑 本体 语义
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 89-92
• 分类号: TP311.5
• 字数: 3056字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.07.016

摘要

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中OntoUML是一个概念上完整、语义上清晰和更具本体意义的UML版本.虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用.本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究.该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实.这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢晓方		168	659	11.0	16.0
2	李瑛		69	516	7.0	21.0
3	齐玉东		62	181	7.0	10.0
4	杨斌		8	21	3.0	4.0