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

Extending UML specification for semantic modeling objects

A.V. Novitsky

Abstract


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


Keywords


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

Full Text:

PDF (Ukrainian)

References


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.

https://doi.org/10.1016/j.artint.2005.05.003

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.

https://doi.org/10.1007/978-3-540-30475-3_15

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.

https://doi.org/10.1016/j.artint.2005.05.003

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.

https://doi.org/10.4018/jismd.2010100102

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

https://doi.org/10.1108/01435120510596044

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

https://doi.org/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

Refbacks

  • There are currently no refbacks.