Extending UML specification for semantic modeling objects

A.V. Novitsky


In the article, propose mapping from UML class diagrams to SHOIQ. descriptive logic. Made approach through extension the UML notations by using stereotypes as close to semantic structures. Specified on the causes and problems that arise in such mapping.

Problems in programming 2016; 2-3: 211-219


UML; description logick; semantic web; validation class diagram uml


Alotaibi, S. (2010) 'The 4th Saudi International Conference', Semantic Web Technologies for Digital Libraries: From Libraries to Social Semantic Digital Libraries (SSDL), Over Semantic Digital Libraries (SDL)., Manchester.

Berardia, , Calvanese, D. and De Giacomo, G. (2005) 'Reasoning on UML class diagrams', Artificial Intelligence, Vol. 168, N 1-2, P. 70-118.


Berners-Lee, T. (2009) Linked Data, [Online], Available: HYPERLINK "http://www.w3.org/DesignIssues/LinkedData.html" http://www.w3.org/DesignIssues/LinkedData.html [Jul 2015].

Brockmans, S., Volz, R., Eberhart, A. and Löffler, (2004) 'Visual modeling of owl dl ontologies using uml', in The Semantic Web - ISWC 2004, Springer.


Cali, A., Calvanese, D., De Giacomo, G. and Lenzerini, M. (202) 'A Formal Framework for Reasoning on UML Class Diagrams', in Foundations of Intelligent Systems, Springer Berlin / Heidelberg.

Cranefield , and Purvis, (1999) 'Uml as an ontology modelling language', in In Proceedings of the Workshop on Intelligent Information Integration, 16th International Joint Conference on Artificial Intelligence (IJCAI-99.

Daniela, B., Diego, C. and Giuseppe, D. (2005) 'Reasoning on UML class diagrams', Artificial Intelligence, Vol. 168, N 1-2.


Dereferencing HTTP URIs (2007), Oct, [Online].

Fielding, R.T. (2005) [httpRange-14] Resolved, Jan, [Online].

Linked Data (2015), Jul, [Online].

Object Management Group (2009) Documents associated with Ontology Definition Metamodel (ODM) Version 1.0, May, [Online].

OMG (2010) 'OMG Unified Modeling LanguageTM (OMG UML), Superstructure' Object Management Group.

Simmonds, J. (2003) Consistency Maintenance of UML Models with Description Logics, Brussel.

Sturm, A., Balaban, M. and Maraee, A. (2010) 'Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach', International Journal of Information System Modeling and Design, Vol. 1, N 4, P. 24-47.


Sure, Y. and Studer, (2005) 'Semantic Web technologies for digital libraries', Library Management, Vol. 4/5, N 26, P. 190-195.


Thalheim, B. (1993) 'Foundations of entity-relationship modeling', Annals of Mathematics and Artificial Intelligence, Vol. 7, N 1-4, Available: 10.1007/BF01556354.


Volovich М.Е. and Deryugina O.A. (2015) 'Verification of UML software systems ', Cloud of Science, Vol. 2, N 1, Available: 2409-031Х.

Makgregor D. and Sayks D. (2002) Testing Object-Oriented Software, ТID "DS".

DOI: https://doi.org/10.15407/pp2016.02-03.211


  • There are currently no refbacks.