SciLib Ontology
收藏官方服务：
资源简介：
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
