SciLib Mathlib Knowledge Graph (asserted-only RDF dump)

SciLib Mathlib Knowledge Graph — asserted-only RDF dump.
This dataset accompanies the ISWC 2026 Resource Track paper SciLib: An Ontological Framework and Knowledge Graph Infrastructure for Scientific Knowledge, with a Module for Formal Mathematics by Khalov, Ataeva, and Tuchkova (EasyChair Submission 436).
Contents. A single file scilib_kg_asserted.ttl.gz (Turtle 1.1, gzip-compressed). Asserted-only triples produced by the SciLib KG materialisation pipeline from Mathlib (Lean 4) via JIXIA static analysis, structured under the SciLib OWL 2 DL ontology (released separately on Zenodo and at https://github.com/andkhalov/scilib_ontology).
Numbers (verified at export).

Asserted triples: 33,807,503
With OWL 2 RL closure (production GraphDB ruleset): 66,223,654
Inferred (closure − asserted): 32,416,151
Compressed file size: 223 MB; uncompressed: ~2.78 GB Turtle
SHA-256 of the gzip file: 7bee56222005d524898c8e093580b83043428868d436b4e7689eb0e5810eed15
Reproducing the closure. See the replay_closure.md instructions shipped with the SciLib-GRC21 software deposit. Two routes are documented: (a) load into GraphDB Free 10.4.3+ with the owl2-rl-optimized ruleset to reproduce the production 66.22 M-triple total; (b) run HermiT 1.4.5+ standalone (--classify --realize) for a reasoner-independent check.
Live access (read-only SPARQL / browse): https://scilibai.ru/products/mathlib/.
Citation. Please cite the ISWC 2026 paper.