Abstract
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.
Publisher
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka)
Reference23 articles.
1. 1. Linked Dat, 07 2015.: Available from: http://www.w3.org/standards/semanticweb/data.
2. 2. Berners-Lee T. Linked Data. 2009. Available from: http://www.w3.org/DesignIssues/LinkedData.html. [Accessed: 07 2015].
3. 3. Sure Y., Studer R.. Semantic Web technologies for digital libraries. Library Management.2005. Vol. 4/5, N 26. P. 190-195.
4. 4. Alotaibi S. The 4th Saudi International Conference. In Semantic Web Technologies for Digital Libraries: From Libraries to Social Semantic Digital Libraries (SSDL), Over Semantic Digital Libraries (SDL). Manchester. 2010.
5. 5. Daniela B., Diego C., Giuseppe D. Reasoning on UML class diagrams. Artificial Intelligence. 2005. Vol.168, N 1-2.