SciLib Ontology
收藏DataCite Commons2026-05-05 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20037664
下载链接
链接失效反馈官方服务：
资源简介：
A modular OWL 2 DL ontology for representing scientific knowledge with a domain-invariant three-level architecture (Interpretation / Representation / Resource). The mathematics domain module (660 subclasses extracted from Mathlib's directory taxonomy with bilingual EN/RU annotations) is the first complete instantiation.
提供机构：
Zenodo
创建时间：
2026-05-05
