Model of information object for digital library and its verification

• Date: 2020
• Main Authors: Novitsky, A.V., Reznichenko, V.A.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2020
• Subjects: digital library; semantic digital library; linked data; information object; mapping UML-OWL; description logic; reasoning engine; UDC 004.94
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/395
• Journal Title: 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...