 |
|
Related Communities:
|
 |
|
 |
Query-Driven Verification of Data Integration in the RDF Data Model
| Author(s): | Stupnikov S. A. |
| Published: | Lobachevskii Journal of Mathematics, 2023. Vol. 44. Iss. 1. P. 205–218. |
| Abstract: | |
| Methods and tools for data integration are very important for problem solving in research infrastructures supporting the FAIR data management principles which are findability, accessibility, interoperability, and reuse of data. Data integration processes are usually implemented in specific information systems and can be very complicated. An essential issue of the development of such systems is the formal checking of the correctness (verification) of data integration. This paper considers data integration using the RDF data model that is positioned as the unifying data model of the FAIR reference implementation. A query-driven method for verification of the correctness of data integration in the RDF data model is proposed. The method applies formal specification language based on first-order logic and set theory.
|
| Download: |
[ https://link.springer.com/article/10.1134/S1995080223010389 ]
|
|
|
