Model of information object for digital library and its verification

• Datum: 2020
• Hauptverfasser: Novitsky, A.V., Reznichenko, V.A.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2020
• Schlagworte: digital library; semantic digital library; linked data; information object; mapping UML-OWL; description logic; reasoning engine; UDC 004.94
• Online Zugang: 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...