MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Abstract Nowadays, Knowledge Graphs (KGs) are important and developing in different areas. However, there is a lack of genuinely interoperable datasets representing mathematics that allow for information exchange between datasets in the Web ecosystem. In this paper, we address this matter based on t...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Nature Portfolio
2023-11-01
|
Series: | Scientific Data |
Online Access: | https://doi.org/10.1038/s41597-023-02681-3 |
_version_ | 1797630469436604416 |
---|---|
author | Dominik Tomaszuk Łukasz Szeremeta Artur Korniłowicz |
author_facet | Dominik Tomaszuk Łukasz Szeremeta Artur Korniłowicz |
author_sort | Dominik Tomaszuk |
collection | DOAJ |
description | Abstract Nowadays, Knowledge Graphs (KGs) are important and developing in different areas. However, there is a lack of genuinely interoperable datasets representing mathematics that allow for information exchange between datasets in the Web ecosystem. In this paper, we address this matter based on the Mizar Mathematical Library (MML), a collection of articles written in the Mizar language. MML includes definitions and theorems with proofs to which authors can easily refer from newly written Mizar articles. However, extracting information directly from Mizar scripts by external projects is not very straightforward. Therefore, we propose a new data storage and retrieval approach based on the Knowledge Organization System (KOS) model and the KG concept that provides a way to organize and access knowledge. We present Mizar Mathematical Library Knowledge Graph (MMLKG), a thesaurus for describing mathematical objects. MMLKG supports semantic interoperability and allows linking data from different sources, e.g., Wikidata. Moreover, it satisfies the FAIR data principles. The data is publicly available via a Cypher endpoint. |
first_indexed | 2024-03-11T11:08:32Z |
format | Article |
id | doaj.art-85fafddde7844c65945c7bef11b65e16 |
institution | Directory Open Access Journal |
issn | 2052-4463 |
language | English |
last_indexed | 2024-03-11T11:08:32Z |
publishDate | 2023-11-01 |
publisher | Nature Portfolio |
record_format | Article |
series | Scientific Data |
spelling | doaj.art-85fafddde7844c65945c7bef11b65e162023-11-12T12:06:16ZengNature PortfolioScientific Data2052-44632023-11-0110111310.1038/s41597-023-02681-3MMLKG: Knowledge Graph for Mathematical Definitions, Statements and ProofsDominik Tomaszuk0Łukasz Szeremeta1Artur Korniłowicz2University of Bialystok, Faculty of Computer ScienceUniversity of Bialystok, Faculty of Computer ScienceUniversity of Bialystok, Faculty of Computer ScienceAbstract Nowadays, Knowledge Graphs (KGs) are important and developing in different areas. However, there is a lack of genuinely interoperable datasets representing mathematics that allow for information exchange between datasets in the Web ecosystem. In this paper, we address this matter based on the Mizar Mathematical Library (MML), a collection of articles written in the Mizar language. MML includes definitions and theorems with proofs to which authors can easily refer from newly written Mizar articles. However, extracting information directly from Mizar scripts by external projects is not very straightforward. Therefore, we propose a new data storage and retrieval approach based on the Knowledge Organization System (KOS) model and the KG concept that provides a way to organize and access knowledge. We present Mizar Mathematical Library Knowledge Graph (MMLKG), a thesaurus for describing mathematical objects. MMLKG supports semantic interoperability and allows linking data from different sources, e.g., Wikidata. Moreover, it satisfies the FAIR data principles. The data is publicly available via a Cypher endpoint.https://doi.org/10.1038/s41597-023-02681-3 |
spellingShingle | Dominik Tomaszuk Łukasz Szeremeta Artur Korniłowicz MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs Scientific Data |
title | MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs |
title_full | MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs |
title_fullStr | MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs |
title_full_unstemmed | MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs |
title_short | MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs |
title_sort | mmlkg knowledge graph for mathematical definitions statements and proofs |
url | https://doi.org/10.1038/s41597-023-02681-3 |
work_keys_str_mv | AT dominiktomaszuk mmlkgknowledgegraphformathematicaldefinitionsstatementsandproofs AT łukaszszeremeta mmlkgknowledgegraphformathematicaldefinitionsstatementsandproofs AT arturkorniłowicz mmlkgknowledgegraphformathematicaldefinitionsstatementsandproofs |