A.P. Khalov1, O.M. Ataeva2, N.P. Tuchkova3

1-3 FRC CSC RAS (Moscow, Russia)

1 khalov.a@phystech.edu, 2 oataeva@frccsc.ru, 3 ntuchkova@frccsc.ru

Existing ontologies of scientific knowledge either describe publication metadata (SPAR, ORKG) or formalize specific areas of mathematics (OntoMathPRO, OMDoc), but do not provide a unified mechanism for separating semantic content, representation forms, and data carriers. This paper presents SciLib v1.0.0, a modular OWL/DL ontology implementing a three-level separation into interpretation, representation, and resource. A model of context-dependent truth is formalized through reification of the TruthAssessment class. The ontology is validated through materialization of a knowledge graph from the MathLib (Lean 4) library, including domain taxonomy construction, entity-to-class mapping, and multimodal representation generation.

Khalov A.P., Ataeva O.M., Tuchkova N.P. From syntax to semantics: SciLib ontology for formalization of scientific knowledge. Highly Available Systems. 2026. V. 22. No 1. P. 65?70. DOI: https://doi.org/10.18127/j20729472-202601-13 (in Russian)

1. Lange C. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web. 2013. V. 4. № 2. P. 119–158.
2. Zheng Y. et al. AI4Research: A Survey of Artificial Intelligence for Scientific Research. arXiv preprint arXiv:2310.08000. 2023.
3. Wiedijk F. The De Bruijn Factor. Technical Report. Radboud University. 2000.
4. Ying S. et al. Lean 4 and MathLib: Formalization of Mathematics. arXiv preprint arXiv:2406.03847. 2024.
5. Ataeva O.M., Serebryakov V.A. Ontologiya cifrovoj semanticheskoj biblioteki LibMeta. Informatika i eyo primeneniya. 2018. T. 12. Vy`p. 1. S. 2–10.
6. Ataeva O.M., Serebryakov V.A., Tuchkova N.P. Podxody` k organizacii matematicheskix znanij pri formirovanii predmetny`x tezaurusov razlichny`x razdelov matematiki. Nauchny`j servis v seti Internet: trudy` XX Vseros. nauch. konf. M.: IPM im. M.V. Keldy`sha. 2018. S. 42–54.
7. Ataeva O.M., Serebryakov V.A. Osnovny`e ponyatiya formal`noj modeli semanticheskix bibliotek i formalizaciya processov integracii v nej. Programmny`e produkty` i sistemy`. 2015. № 4 (112). S. 180–187.
8. Peroni S., Shotton D. The SPAR Ontologies. Proc. 17th Int. Semantic Web Conf. (ISWC 2018). Springer. 2018. P. 119–136.
9. Brack A. et al. Requirements Analysis for an Open Research Knowledge Graph. arXiv preprint arXiv:2005.10334. 2020.
10. David C. et al. Publishing Math Lecture Notes as Linked Data. Proc. CICM 2010. Springer. 2010. P. 370–375.
11. Nevzorova O. et al. OntoMathPRO Ontology: A Linked Data Hub for Mathematics. Proc. KESW 2014. Springer. 2014. P. 105–119.
12. Dehaye P.-O. et al. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. Proc. CICM 2016. Springer. 2016. P. 117–131.
13. Menotti L. et al. Provenance-driven nanopublications. Int. J. on Digital Libraries. 2025. V. 26. Art. 24.