计算机工程与科学2012，Vol.34Issue(7)：89-92,4.DOI:10.3969/j.issn.1007-130X.2012.07.016
基于描述逻辑的OntoUML模型的形式化表示
A Formalized Representation of the OntoUML Model Based on Description Logic
摘要
Abstract
The formal ontological theory is one of the main methods applied to UML formalization and improvement. On the basis of Ontology UML has been extended to OntoUML,and it provides a richer, better version able to express the semantics of real-world modeling primitives, but its expression is not used in information system design and development. Based on description logic, the OntoUML primitives and relationship between them are formally represented with SHIQ, and a case study is given. The method of expression is concise, has clear semantics, and is not only able to express the logical model clearly, but also to ensure that the model represents things of domain correctly. This study promotes OntoUML to be more widely used, and to some extent, it provides a theoretical and application support to improving ontology-based information systems' conceptual modeling approach.关键词
OntoUML/描述逻辑/本体/语义Key words
OntoUML/description logic/ontology/semantic分类
信息技术与安全科学引用本文复制引用
齐玉东,杨斌,李瑛,谢晓方..基于描述逻辑的OntoUML模型的形式化表示[J].计算机工程与科学,2012,34(7):89-92,4.
