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.

Key words: OntoUML;description logic;ontology;semantic