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.