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 level of M0, M1 of the MOF metamodel is provided. A model of the information object (IO) for the semantic electronic library, which is described by using the UML language, is proposed. The proposed IO model was also verified by mapping it into OWL and then validating the constructed ontology by using risoners.Problems in programming 2020; 2-3: 31-38