Mizar Mathematical Library Knowledge Graph (MMLKG)

Mizar Mathematical Library Knowledge Graph (MMLKG) dataset with supplementary files <br> MMLKG is a thesaurus for describing a comprehensive repository of mathematical papers written in the Mizar language and computer-verified by the Mizar proof-checker (Mizar Mathematical Library). <br> Read more about the MMLKG project at the MMLKG website. <br> <strong>Files:</strong> README.md LICENSE.txt: A license for all files stats.json: A JSON file with metadata and stats for mmlkg.graphml mmlkg.graphml: The main file - Mizar Mathematical Library Knowledge Graph GraphML for load to different graph databases, e.g. Neo4j ./csvs/*: CSV files with relationships for the graph ./metadata/metadata.xml: An XML file for graph metadata ./metadata/metadata.xsd: A main schema for metadata.xml ./metadata/dc.xsd: Dublin Core schema for metadata.xml ./rdf/rdf_data.nt: An N-Triples file for external RDF resources <br> The ./rdf/rdf_data.nt file was prepared by Dominik Tomaszuk (@domel) and is available under the CC-BY 4.0 License. The base for the query was developed using Wikidata, which is available under the Creative Commons CC0 License. While it also includes references to DBpedia and YAGO (whose data are on Creative Commons Attribution-ShareAlike 3.0 License), Dominik Tomaszuk only retrieved non-data links from these sources. The structure of this file is entirely different than the above datasets.

附带补充文件的米扎尔数学库知识图谱（Mizar Mathematical Library Knowledge Graph, MMLKG）数据集<br>MMLKG是一部叙词表，用于描述以米扎尔语言编写、且经米扎尔证明检查器（Mizar Mathematical Library）完成计算机验证的数学论文综合馆藏。<br>如需了解MMLKG项目的更多详情，请访问MMLKG官方网站。<br><strong>文件说明：</strong>README.md、LICENSE.txt：本数据集所有文件的授权协议文件<br>stats.json：包含mmlkg.graphml的元数据与统计信息的JSON格式文件<br>mmlkg.graphml：核心文件——米扎尔数学库知识图谱GraphML格式文件，可导入至Neo4j等各类图数据库<br>./csvs/*：存储该知识图谱关系数据的CSV格式文件集<br>./metadata/metadata.xml：用于存储图元数据的XML格式文件<br>./metadata/metadata.xsd：metadata.xml的主架构文件<br>./metadata/dc.xsd：适配metadata.xml的都柏林核心（Dublin Core）架构文件<br>./rdf/rdf_data.nt：用于外部RDF资源的N-Triples格式文件<br>本./rdf/rdf_data.nt文件由Dominik Tomaszuk（@domel）制作，采用CC-BY 4.0授权协议发布。该RDF数据文件的查询基准源自维基数据（Wikidata），其采用知识共享CC0授权协议发布。尽管该文件同时引用了DBpedia与YAGO的数据（二者数据采用知识共享署名-相同方式共享3.0授权协议），但Dominik Tomaszuk仅从上述来源获取了非数据类链接。该文件的结构与前述数据集完全不同。