E.K. Lipachev1, B.R. Muradymov2

1,2 Kazan Federal University, Institute of Information Technologies and Intelligent Systems (Kazan, Russia)

1 Innopolis University (Innopolis, Russia)

1 elipachev@gmail.com, 2 muradymov.bulat@mail.ru

Problem statement. Formation of a single space of scientific knowledge, integration of disparate sources of information in the field of mathematical knowledge.

Objective. Building a knowledge graph of a collection of mathematical equations.

Results. A method for constructing a knowledge graph of mathematical equations based on information from the scientific and educational portal EqWorld "World of Mathematical Equations" and the ontology of professional mathematics OntoMathPRO is proposed. A set of software services and tools has been developed that ensure the formation of a knowledge graph of mathematical equations and its storage in a data warehouse with the ability to perform SPARQL queries. The developed software services were tested, and the accuracy of linking entities presented on the EqWorld portal to ontology concepts was evaluated.

Practical significance. The mathematical equation knowledge graph is included as a mathematical artifact in the OntoMath digital ecosystem of the Lobachevskii-DML digital mathematical library. Semantic services of the specified ecosystem are being designed based on this knowledge graph.

Lipachev E.K., Muradymov B.R. Towards building the knowledge graph of mathematical equations. Highly Available Systems. 2026.
V. 22. № 1. P. 41−46. DOI: https://doi.org/10.18127/j20729472-202601-08 (in Russian)

1. Ji S., Pan S., Cambria E., Marttinen P., Yu P.S. A Survey on Knowledge Graphs: Representation, Acquisition, and Applications. IEEE Transactions on Neural Networks and Learning Systems. 2022. V. 33. № 2. P. 494–514. DOI: https://doi.org/10.1109/TNNLS.2021.3070843
2. Hogan A. et al. Knowledge Graphs. Springer Cham. 2022. DOI: https://doi.org/10.1007/978-3-031-01918-0
3. Vinogradov I.M. Matematicheskaya e`nciklopediya. V 5 tomax. M.: Sovetskaya e`nciklopediya. 1977–1985.
4. Zajcev V.F., Polyanin A.D. Spravochnik po oby`knovenny`m differencial`ny`m uravneniyam. M.: Fizmatlit. 2001.
5. Zajcev V.F., Polyanin A.D. Spravochnik po differencial`ny`m uravneniyam s chastny`mi proizvodny`mi pervogo poryadka. M.: Fizmatlit. 2003.
6. «Mir matematicheskix uravnenij. EqWorld». URL: https://eqworld.ipmnet.ru/
7. Kirillovich A.V., Nevzorova O.A., Lipachev E.K. OntoMathPRO 2.0 Ontology: Updates of Formal Model. Lobachevskii J. of Math. 2022.
   V. 43. № 12. P. 3504–3514. DOI: https://doi.org/10.1134/S1995080222150136
8. Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A. OntoMathPRO: Ontology of Mathematical Knowledge. Dokl. Math. 2022. V. 106 (3). P. 429-435. DOI: https://doi.org/10.1134/S1064562422700016
9. Ataeva O.M., Serebryakov V.A., Tuchkova N.P. Ontological Approach to a Knowledge Graph Construction in a Semantic Library. Lobachevskii J. Math. 2023. V. 44. № 6. P. 2229–2239. DOI: https://doi.org/10.1134/S1995080223060471
10. Ataeva O.M., Serebryakov V.A., Tuchkova N.P. From Texts to Knowledge Graph in the Semantic Library LibMeta. Lobachevskii J. Math. 2024. V. 45. № 5. P. 2211–2219. DOI: https://doi.org/10.1134/S1995080224602625
11. Schembera B. et al. Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines. Communications in Compu­ter and Information Science. Springer, Cham. 2024. V. 2048. P. 161–168. DOI: https://doi.org/10.1007/978-3-031-65990-4_14
12. Schembera B. et al. Towards a Knowledge Graph for Models and Algorithms in Applied Mathematics. Communications in Computer and Information Science, Springer, Cham. 2025. V. 2331. P. 95–105. DOI: https://doi.org/10.1007/978-3-031-81974-2_8
13. RDF Mapping Language (RML). URL: https://rml.io/specs/rml/
14. Elizarov A.M., Lipachyov E.K. Cifrovaya biblioteka Lobachevskii-DML v nauchnom prostranstve matematicheskix znanij. Nauchno-texnicheskaya informaciya. Ser. 1: Organizaciya i metodika informacionnoj raboty`. 2023. № 1. S. 32–37. DOI: https://doi.org/10.36535/ 0548-0019-2023-01-3
15. Elizarov A.M., Kirillovich A.V., Lipachyov E.K., Nevzorova O.A. Cifrovaya e`kosistema OntoMath kak podxod k postroeniyu prostranstva matematicheskix znanij. E`lektronny`e biblioteki. 2023. T. 26. № 2. S. 154–202. DOI: https://doi.org/10.26907/1562-5419-2023-26-2-154-202