Mizar Mathematical Library Knowledge Graph (MMLKG)

Mizar Mathematical Library Knowledge Graph (MMLKG) dataset with supplementary files 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). Read more about the MMLKG project at the MMLKG website. Files: 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 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）数据集及其配套补充文件。MMLKG是一套叙词表，用于描述以米扎尔（Mizar）语言编写、经米扎尔数学库（Mizar Mathematical Library）内置的证明校验器完成计算机验证的综合性数学论文馆藏。您可访问MMLKG官方网站了解该项目的更多详细信息。

附带文件详情如下：
- README.md
- LICENSE.txt：本数据集所有文件的授权协议文本
- stats.json：存储mmlkg.graphml元数据与统计信息的JSON格式文件
- mmlkg.graphml：核心文件——可导入至各类图数据库（如Neo4j）的米扎尔数学库知识图谱GraphML格式文件
- ./csvs/*：包含该图谱关联关系的CSV格式文件集
- ./metadata/metadata.xml：图谱元数据XML格式文件
- ./metadata/metadata.xsd：metadata.xml的主模式文件
- ./metadata/dc.xsd：适配metadata.xml的都柏林核心（Dublin Core）模式文件
- ./rdf/rdf_data.nt：面向外部RDF资源的N-Triples格式文件

该./rdf/rdf_data.nt文件由多米尼克·托马舒克（Dominik Tomaszuk，@domel）制作，采用知识共享署名4.0（CC-BY 4.0）授权协议发布。本RDF数据的查询基准基于维基数据（Wikidata）构建，维基数据采用知识共享CC0（CC0）授权协议。尽管该文件同时包含对DBpedia与YAGO的引用（二者数据均采用知识共享署名-相同方式共享3.0（CC BY-SA 3.0）授权协议），但多米尼克·托马舒克仅从上述来源提取非数据类链接。该文件的结构与前述数据集完全不同。