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

摘要：

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

关键词：OntoUML、描述逻辑、本体、语义

所属期刊栏目：34

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2012-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：89-92