Model of information object for digital library and its verification
| Autor: | A.V. Novitsky, V.A. Reznichenko |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
021103 operations research
Programming language Computer science 0211 other engineering and technologies 02 engineering and technology Semantic reasoner Ontology (information science) computer.software_genre Digital library 01 natural sciences Metamodeling 010104 statistics & probability Description logic Unified Modeling Language Completeness (logic) 0101 mathematics computer Formal verification computer.programming_language |
| Zdroj: | PROBLEMS IN PROGRAMMING. :031-038 |
| ISSN: | 1727-4907 |
| DOI: | 10.15407/pp2020.02-03.031 |
| Popis: | 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|