Model of information object for digital library and its verification

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2020
• Випуск: 2-3
• Сторінки: 31-38
• ISSN: 1727-4907
• Автори та афіліації: A.V. Novitsky — Institute of Software Systems NAS of Ukraine; V.A. Reznichenko — Institute of Software Systems NAS of Ukraine
• Автори: Novitsky, A.V., Reznichenko, V.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2020
• Теми: digital library; semantic digital library; linked data; information object; mapping UML-OWL; description logic; reasoning engine; UDC 004.94
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/395
• Назва журналу: Problems in programming

An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL through stereotypes and labeled UML 2.0 values at the le...