ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университет10.26907/1562-5419-2023-26-2-154-202ellibs-370Research ArticleСтатьиЦифровая экосистема OntoMath как подход к построению пространства математических знанийDigital Ecosystem OntoMath as an Approach to Building the Space of Mathematical KnowledgeЕлизаровА. М.EizarovA. M.amelizarov@gmail.comКирилловичА. В.KirillovichA. V.alik.kirillovich@gmail.comЛипачёвЕ. К.LipachevE. K.elipachev@gmail.comНевзороваО. А.NevzorovaO. A.onevzoro@gmail.comКазанский (Приволжский) Федеральный университетKazan (Volga region) Federal University202328042023262154–202Copyright © Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А., 20232023Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А.Eizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/370

Представлены результаты по созданию методов управления математическим знанием в контексте цифровых математических библиотек. Программные инструменты, разработанные на основе этих методов, являются частью цифровой экосистемы OntoMath, в рамках которой осуществляется их взаимодействие. Приведено краткое описание архитектуры экосистемы OntoMath, выделены уровни предметных онтологий и внешних онтологий, а также уровень программных инструментов и сервисов. В отдельную категорию выделены семантические сервисы. Этим термином обозначены программные инструменты, в функционале которых используются запросы к предметным онтологиям для обеспечения управления объектами знаний. Даны общие описания разрабатываемых предметных онтологий: образовательной математической онтологии OntoMathEdu и онтологии профессиональной математики OntoMathPRO. Отражено развитие образовательной онтологии в направлении включения образовательных пререквизитных связей между классами. Среди программных инструментов цифровой экосистемы выделены сервисы поиска по математическим электронным коллекциям, сервис семантического аннотирования математических документов, инструменты семантической разметки образовательных математических документов, а также система автоматической генерации проверочных тестов по математическим образовательным дисциплинам. В рамках цифровой экосистемы OntoMath развиваются рекомендательные системы специального назначения. В текущей версии экосистемы представлены рекомендательная система формирования списка близких статей, основанная на онтологии OntoMathPRO, рекомендательная система назначения экспертов для поддержки процесса научного рецензирования и рекомендательные системы подбора предметных классификаторов УДК и кодов Mathematics Subject Classification для математических документов. Приведены также результаты, полученные в направлении создания фабрики метаданных цифровой библиотеки, включающей сервисы и инструменты извлечения, уточнения, пополнения и нормализации метаданных документов электронных математических коллекций. Отметим, что экосистема OntoMath разрабатывается как технологическая основа цифровой математической библиотеки Lobachevskii-DML.

The results on the creation of methods for managing mathematical knowledge in the context of digital mathematical libraries are presented. The software tools developed on the basis of these methods are part of the OntoMath digital ecosystem, within which they interact. A brief description of the architecture of the OntoMath ecosystem is given, the levels of subject ontologies and external ontologies are highlighted, as well as the level of software tools and services. Semantic services are separated into a separate category. This term denotes software tools, in the functionality of which queries to subject ontologies are used to ensure the management of knowledge objects. General descriptions of developed subject ontologies are given: educational mathematical ontology OntoMathEdu and ontology of professional mathematics OntoMathPRO. The development of educational ontology is reflected in the direction of including educational prerequisite links between classes. Among the software tools of the digital ecosystem, search services for mathematical electronic collections, a service for semantic annotation of mathematical documents, tools for semantic marking of educational mathematical documents, as well as a system for automatically generating testing tests in mathematical educational disciplines are highlighted. As part of the OntoMath digital ecosystem, special-purpose recommender systems are being developed. The current version of the ecosystem includes a recommender system for generating a list of related articles based on the OntoMathPRO ontology, a recommender system for appointing experts to support the scientific review process, and recommender systems for selecting subject classifiers UDC and Mathematics Subject Classification codes for mathematical documents. The results are also presented in the direction of creating a digital library metadata factory, which includes services and tools for extracting, refining, replenishing and normalizing the metadata of electronic mathematical collections. Note that the OntoMath ecosystem is being developed as the technological basis for the Lobachevskii Digital Mathematical Library.

цифровая экосистемаэкосистема OntoMathцифровая математическая библиотекаонтологияматематическая онтология OntoMathPROобразовательная онтология OntoMathEduLobachevskii-DMLReferencesBartling S., Friesike S. Towards Another Scientific Revolution // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 3–15. https://doi.org/10.1007/978-3-319-00026-8_1.Bartling S., Friesike S. Towards Another Scientific Revolution // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 3–15. https://doi.org/10.1007/978-3-319-00026-8_1.Елизаров А.М., Зуев Д.С., Липачёв Е.К. Управление жизненным циклом электронных публикаций в информационной системе научного журнала // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. 2014. № 4. С. 81–88.Елизаров А.М., Зуев Д.С., Липачёв Е.К. Управление жизненным циклом электронных публикаций в информационной системе научного журнала // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. 2014. № 4. С. 81–88.Елизаров А.М., Зуев Д.С., Липачёв Е.К. Сервисы поддержки жизненного цикла электронных научных публикаций // Научный сервис в сети Интернет: многообразие суперкомпьютерных миров. Труды Международной суперкомпьютерной конференции. Российская академия наук. Суперкомпьютерный консорциум университетов России. 2014. С. 436–438.Елизаров А.М., Зуев Д.С., Липачёв Е.К. Сервисы поддержки жизненного цикла электронных научных публикаций // Научный сервис в сети Интернет: многообразие суперкомпьютерных миров. Труды Международной суперкомпьютерной конференции. Российская академия наук. Суперкомпьютерный консорциум университетов России. 2014. С. 436–438.Heller L., The R., Bartling S. Dynamic Publication Formats and Collaborative Authoring // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 191–211. https://doi.org/10.1007/978-3-319-00026-8_13.Heller L., The R., Bartling S. Dynamic Publication Formats and Collaborative Authoring // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 191–211. https://doi.org/10.1007/978-3-319-00026-8_13.Горбунов-Посадов М. Живая публикация // Открытые системы. СУБД. 2011. № 4. С. 48.Горбунов-Посадов М. Живая публикация // Открытые системы. СУБД. 2011. № 4. С. 48.Елизаров А.М., Липачёв Е.К. Цифровые платформы и цифровые научные библиотеки // International Journal of Open Information Technologies. 2020. Vol. 8. No. 11. P. 80–90.Елизаров А.М., Липачёв Е.К. Цифровые платформы и цифровые научные библиотеки // International Journal of Open Information Technologies. 2020. Vol. 8. No. 11. P. 80–90.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O., Solovyev V., Zhiltsov N. Mathematical Knowledge Representation: Semantic Models and Formalisms // Lobachevskii J. of Mathematics. 2014. V. 35 (4). P. 347–353. https://doi.org/10.1134/S1995080214040143.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O., Solovyev V., Zhiltsov N. Mathematical Knowledge Representation: Semantic Models and Formalisms // Lobachevskii J. of Mathematics. 2014. V. 35 (4). P. 347–353. https://doi.org/10.1134/S1995080214040143.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Semantic Formula Search in Digital Mathematical Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017), Vladivostok, Russia, 25–29 September, 2017. IEEE, 2017. P. 39–43. https://doi.org/10.1109/RPC.2017.8168063.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Semantic Formula Search in Digital Mathematical Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017), Vladivostok, Russia, 25–29 September, 2017. IEEE, 2017. P. 39–43. https://doi.org/10.1109/RPC.2017.8168063.Developing a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, 2014. 142 p. https://doi.org/10.17226/18619.Developing a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, 2014. 142 p. https://doi.org/10.17226/18619.SearchOnMath Site. URL: https://www.searchonmath.com/.SearchOnMath Site. URL: https://www.searchonmath.com/.MathWebSearch: Searching Math on the Web. URL: https://search.mathweb.org/.MathWebSearch: Searching Math on the Web. URL: https://search.mathweb.org/.The zbMATH Open formula search. URL: https://zbmath.org/formulae/.The zbMATH Open formula search. URL: https://zbmath.org/formulae/.Berčič K, Carette J., Farmer W.M., Kohlhase M., Dennis Müller D., Rabe F., Sharoda Y. The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems // arXiv: 2002.04955v1 [cs.MS] 12 Feb 2020.Berčič K, Carette J., Farmer W.M., Kohlhase M., Dennis Müller D., Rabe F., Sharoda Y. The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems // arXiv: 2002.04955v1 [cs.MS] 12 Feb 2020.Kohlhase M., Sucan I. A Search Engine for Mathematical Formulae // J. Calmet et al. (Eds.). Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2006), Beijing, China, September 20–22, 2006. Lecture Notes in Computer Science, Vol. 4120. Springer, Berlin, Heidelberg, 2006. P. 241–253. https://doi.org/10.1007/11856290_21.Kohlhase M., Sucan I. A Search Engine for Mathematical Formulae // J. Calmet et al. (Eds.). Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2006), Beijing, China, September 20–22, 2006. Lecture Notes in Computer Science, Vol. 4120. Springer, Berlin, Heidelberg, 2006. P. 241–253. https://doi.org/10.1007/11856290_21.Guidi F., Sacerdoti Coen C. A Survey on Retrieval of Mathematical Knowledge // Math. Comput. Sci. 2016. Vol. 10. P. 409–427.Guidi F., Sacerdoti Coen C. A Survey on Retrieval of Mathematical Knowledge // Math. Comput. Sci. 2016. Vol. 10. P. 409–427.Pechnikov A., Chebukov D., Nwohiri A. Communication of Scientists Through Scientific Publications: Math-Net.Ru as a Case Study // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020), Novorossiysk–Abrau, Russia, September 21–25, 2020. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2784. P. 234–244. https://ceur-ws.org/Vol-2784/rpaper19.pdf.Pechnikov A., Chebukov D., Nwohiri A. Communication of Scientists Through Scientific Publications: Math-Net.Ru as a Case Study // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020), Novorossiysk–Abrau, Russia, September 21–25, 2020. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2784. P. 234–244. https://ceur-ws.org/Vol-2784/rpaper19.pdf.Елизаров А.М., Жижченко А.Б., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Онтология математического знания и рекомендательная система для коллекций физико-математических документов // Доклады Академии наук. 2016. Т. 467 (4). P. 392–395 (2016). https://doi.org/10.7868/S0869565216100042.Елизаров А.М., Жижченко А.Б., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Онтология математического знания и рекомендательная система для коллекций физико-математических документов // Доклады Академии наук. 2016. Т. 467 (4). P. 392–395 (2016). https://doi.org/10.7868/S0869565216100042.Kozicyn A.S., Afonin S.A., Shachnev D.A. The Use of Thematic Analysis Methods in Scientometric Systems // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020), Novorossiysk–Abrau, Russia, September 21–25, 2020. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2784. P. 178–188. https://ceur-ws.org/Vol-2784/rpaper14.pdf.Kozicyn A.S., Afonin S.A., Shachnev D.A. The Use of Thematic Analysis Methods in Scientometric Systems // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020), Novorossiysk–Abrau, Russia, September 21–25, 2020. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2784. P. 178–188. https://ceur-ws.org/Vol-2784/rpaper14.pdf.Abecker A., van Elst L. Ontologies for Knowledge Management // S. Staab and R. Studer (Eds.) Handbook on Ontologies. Springer, Berlin, Heidelberg, 2009. P. 713–734. https://doi.org/10.1007/978-3-540-92673-3_32.Abecker A., van Elst L. Ontologies for Knowledge Management // S. Staab and R. Studer (Eds.) Handbook on Ontologies. Springer, Berlin, Heidelberg, 2009. P. 713–734. https://doi.org/10.1007/978-3-540-92673-3_32.Lange Ch. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web // Semantic Web Journal. 2013. Vol. 4 (2). P. 119–158. https://doi.org/10.3233/SW-2012-0059.Lange Ch. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web // Semantic Web Journal. 2013. Vol. 4 (2). P. 119–158. https://doi.org/10.3233/SW-2012-0059.Hazewinkel M. Mathematical Knowledge Management: Mathematical knowledge management is needed // arXiv:cs/0410055 [cs.IR] Oct 2004.Hazewinkel M. Mathematical Knowledge Management: Mathematical knowledge management is needed // arXiv:cs/0410055 [cs.IR] Oct 2004.Carette J., Farmer W.M. A Review of Mathematical Knowledge Management // J. Carette et al. (Eds.). Proceedings of the International Conference on Intelligent Computer Mathematics (CICM 2009), Grand Bend, Canada, July 6-12, 2009. Lecture Notes in Computer Science. Springer, 2009. Vol. 5625. P. 233–246. https://doi.org/10.1007/978-3-642-02614-0_21.Carette J., Farmer W.M. A Review of Mathematical Knowledge Management // J. Carette et al. (Eds.). Proceedings of the International Conference on Intelligent Computer Mathematics (CICM 2009), Grand Bend, Canada, July 6-12, 2009. Lecture Notes in Computer Science. Springer, 2009. Vol. 5625. P. 233–246. https://doi.org/10.1007/978-3-642-02614-0_21.Elizarov A.M., Lipachev E.K., Zuev D.S. Digital Mathematical Libraries: Overview of implementations and content management services // L. Kalinichenko et al. (Eds.) Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), Moscow, Russia, October 9–13, 2017. CEUR Workshop Proceedings. CEUR-WS, 2017. Vol. 2022. P. 317–325. https://ceur-ws.org/Vol-2022/paper49.pdf.Elizarov A.M., Lipachev E.K., Zuev D.S. Digital Mathematical Libraries: Overview of implementations and content management services // L. Kalinichenko et al. (Eds.) Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), Moscow, Russia, October 9–13, 2017. CEUR Workshop Proceedings. CEUR-WS, 2017. Vol. 2022. P. 317–325. https://ceur-ws.org/Vol-2022/paper49.pdf.Borwein J., Rocha E.M., Rodrigues J.F. Communicating Mathematics in the Digital Era. A K Peters/CRC Press, 2008.Borwein J., Rocha E.M., Rodrigues J.F. Communicating Mathematics in the Digital Era. A K Peters/CRC Press, 2008.Carette J., Farmer W.M., Kohlhase M., Rabe F. Big Math and the One-Brain Barrier. A Position Paper and Architecture Proposal // arXiv:1904.10405v1 [cs.MS] 23 Apr 2019.Carette J., Farmer W.M., Kohlhase M., Rabe F. Big Math and the One-Brain Barrier. A Position Paper and Architecture Proposal // arXiv:1904.10405v1 [cs.MS] 23 Apr 2019.Carette J., Farmer W.M., Kohlhase M. Rabe F. Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge. Math Intelligencer. 2021. Vol. 43. P. 78–87. https://doi.org/10.1007/s00283-020-10006-0.Carette J., Farmer W.M., Kohlhase M. Rabe F. Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge. Math Intelligencer. 2021. Vol. 43. P. 78–87. https://doi.org/10.1007/s00283-020-10006-0.Tansley A.G. The Use and Abuse of Vegetational Concepts and Terms // Ecology. 1935. Vol. 16 (3). P. 284–307. https://doi.org/10.2307/1930070. https://www.jstor.org/stable/1930070.Tansley A.G. The Use and Abuse of Vegetational Concepts and Terms // Ecology. 1935. Vol. 16 (3). P. 284–307. https://doi.org/10.2307/1930070. https://www.jstor.org/stable/1930070.Briscoe G., De Wilde P. Digital ecosystems: self-organisation of evolving agent populations // Proceedings of the International Conference on Management of Emergent Digital EcoSystems (MEDES '09), Lyon, France, October 27–30, 2009. ACM, 2009. P. 44–48. https://doi.org/10.1145/1643823.1643832.Briscoe G., De Wilde P. Digital ecosystems: self-organisation of evolving agent populations // Proceedings of the International Conference on Management of Emergent Digital EcoSystems (MEDES '09), Lyon, France, October 27–30, 2009. ACM, 2009. P. 44–48. https://doi.org/10.1145/1643823.1643832.Kurz T., Eder R., and Heistracher T. Knowledge Resources – A Knowledge Management Approach for Digital Ecosystems // F.A. Basile Colugnati et al. (Eds.) Revised Selected Papers of the 3rd International Conference on Digital Eco-Systems (OPAALS 2010), Aracujú, Sergipe, Brazil, March 22–23, 2010. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Berlin, Heidelberg, 2010. Vol. 67. P. 131–145. https://doi.org/10.1007/978-3-642-14859-0_11.Kurz T., Eder R., and Heistracher T. Knowledge Resources – A Knowledge Management Approach for Digital Ecosystems // F.A. Basile Colugnati et al. (Eds.) Revised Selected Papers of the 3rd International Conference on Digital Eco-Systems (OPAALS 2010), Aracujú, Sergipe, Brazil, March 22–23, 2010. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Berlin, Heidelberg, 2010. Vol. 67. P. 131–145. https://doi.org/10.1007/978-3-642-14859-0_11.Bosch J. Speed, Data, and Ecosystems. Excelling in a Software-Driven World. CRC Press. Taylor & Francis Group, 2017.Bosch J. Speed, Data, and Ecosystems. Excelling in a Software-Driven World. CRC Press. Taylor & Francis Group, 2017.Szoniecky S., Bouhai N. (Eds.) Collective Intelligence and Digital Archives: Towards Knowledge Ecosystems. ISTE Ltd and John Wiley & Sons, Inc., 2017.Szoniecky S., Bouhai N. (Eds.) Collective Intelligence and Digital Archives: Towards Knowledge Ecosystems. ISTE Ltd and John Wiley & Sons, Inc., 2017.Elizarov A.M., Lipachev E.K. Lobachevskii DML: Towards a Semantic Digital Mathematical Library of Kazan University // L. Kalinichenko et al. (Eds.) Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), Moscow, Russia, October 9–13, 2017. CEUR Workshop Proceedings. CEUR-WS, 2017. Vol. 2022. P. 326–333. https://ceur-ws.org/Vol-2022/paper50.pdf.Elizarov A.M., Lipachev E.K. Lobachevskii DML: Towards a Semantic Digital Mathematical Library of Kazan University // L. Kalinichenko et al. (Eds.) Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), Moscow, Russia, October 9–13, 2017. CEUR Workshop Proceedings. CEUR-WS, 2017. Vol. 2022. P. 326–333. https://ceur-ws.org/Vol-2022/paper50.pdf.Elizarov A., Lipachev E. Big Math Methods in Lobachevskii-DML Digital Library // A. Elizarov et al. (Eds.) Selected Papers of the XXI International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2019), Kazan, Russia, October 15–18, 2019. CEUR-WS, 2019. Vol. 2523. P. 59–72. https://ceur-ws.org/Vol-2523/invited08.pdf.Elizarov A., Lipachev E. Big Math Methods in Lobachevskii-DML Digital Library // A. Elizarov et al. (Eds.) Selected Papers of the XXI International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2019), Kazan, Russia, October 15–18, 2019. CEUR-WS, 2019. Vol. 2523. P. 59–72. https://ceur-ws.org/Vol-2523/invited08.pdf.Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Управление математическими знаниями: онтологические модели и цифровые технологии // Сборник статей XVIII международной конференции «Аналитика и управление данными в областях с интенсивным использованием данных» (DAMDID/RCDL'2016). М.: ФИЦ ИУ РАН, 2016. С. 95–101.Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Управление математическими знаниями: онтологические модели и цифровые технологии // Сборник статей XVIII международной конференции «Аналитика и управление данными в областях с интенсивным использованием данных» (DAMDID/RCDL'2016). М.: ФИЦ ИУ РАН, 2016. С. 95–101.Elizarov A.M., Kirilovich A.V., Lipachev E.K., Nevzorova O.A. Mathematical Knowledge Management: Ontological Models and Digital Technology // L. Kalinichenko, et al. (Eds.) Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. CEUR Workshop Proceedings. CEUR-WS, 2016. Vol. 1752. P. 44–50. https://ceur-ws.org/Vol-1752/paper08.pdf.Elizarov A.M., Kirilovich A.V., Lipachev E.K., Nevzorova O.A. Mathematical Knowledge Management: Ontological Models and Digital Technology // L. Kalinichenko, et al. (Eds.) Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. CEUR Workshop Proceedings. CEUR-WS, 2016. Vol. 1752. P. 44–50. https://ceur-ws.org/Vol-1752/paper08.pdf.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management // L. Kalinichenko, S. Kuznetsov, and Y. Manolopoulos (Eds.) Revised Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. Communications in Computer and Information Science. Springer, 2017. Vol. 706. P. 33–46. https://doi.org/10.1007/978-3-319-57135-5_3.Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management // L. Kalinichenko, S. Kuznetsov, and Y. Manolopoulos (Eds.) Revised Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. Communications in Computer and Information Science. Springer, 2017. Vol. 706. P. 33–46. https://doi.org/10.1007/978-3-319-57135-5_3.Elizarov A.M., Zhiltsov N.G., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., and Solovyev V.D. The OntoMath ecosystem: Ontologies and applications for math knowledge management // Semantic Representation of Mathematical Knowledge Workshop, Fields Institute, Toronto, Canada, February 5, 2016. URL: https://video-archive.fields.utoronto.ca/view/4698.Elizarov A.M., Zhiltsov N.G., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., and Solovyev V.D. The OntoMath ecosystem: Ontologies and applications for math knowledge management // Semantic Representation of Mathematical Knowledge Workshop, Fields Institute, Toronto, Canada, February 5, 2016. URL: https://video-archive.fields.utoronto.ca/view/4698.d’Aquin M., Motta E. Visualizing consensus with online ontologies to support quality in ontology development // EKAW 2010 Workshop on Ontology Quality, 15 Oct 2010, Lisbon, Portugal, 2010. URL: https://www.researchgate.net/publication/267562537_Visualizing_Consensus_with_Online_Ontologies_to_Support_Quality_in_Ontology_Development.d’Aquin M., Motta E. Visualizing consensus with online ontologies to support quality in ontology development // EKAW 2010 Workshop on Ontology Quality, 15 Oct 2010, Lisbon, Portugal, 2010. URL: https://www.researchgate.net/publication/267562537_Visualizing_Consensus_with_Online_Ontologies_to_Support_Quality_in_Ontology_Development.Groza T., Handschuh S., Möller K., Decker S. SALT – Semantically Annotated LaTeX for Scientific Publications // E. Franconi et al. (Eds.). Proceedings of the 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria, June 3–7, 2007. Lecture Notes in Computer Science. Springer, 2007. Vol 4519. P. 518–532. https://doi.org/10.1007/978-3-540-72667-8_37.Groza T., Handschuh S., Möller K., Decker S. SALT – Semantically Annotated LaTeX for Scientific Publications // E. Franconi et al. (Eds.). Proceedings of the 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria, June 3–7, 2007. Lecture Notes in Computer Science. Springer, 2007. Vol 4519. P. 518–532. https://doi.org/10.1007/978-3-540-72667-8_37.Groza T., Handschuh S. SALT Document Ontology. DERI, 2009. URL: https://web.archive.org/web/20100516153736/http://salt.semanticauthoring.org/ontologies/sdo.Groza T., Handschuh S. SALT Document Ontology. DERI, 2009. URL: https://web.archive.org/web/20100516153736/http://salt.semanticauthoring.org/ontologies/sdo.Невзорова О.А, Биряльцев Е.В., Жильцов Н.Г. Коллекции математических текстов: аннотирование и применение в поисковых задачах // Искусственный интеллект и принятие решений. 2012. № 3. С. 51–62.Невзорова О.А, Биряльцев Е.В., Жильцов Н.Г. Коллекции математических текстов: аннотирование и применение в поисковых задачах // Искусственный интеллект и принятие решений. 2012. № 3. С. 51–62.Solovyev V., Zhiltsov N. Logical structure analysis of scientific publications in mathematics // R. Akerkar (Ed.). Proceedings of the International Conference on Web Intelligence, Mining and Semantics (WIMS 2011), Sogndal, Norway May 25–27, 2011. ACM, 2011. Article No. 21. https://doi.org/10.1145/1988688.1988713.Solovyev V., Zhiltsov N. Logical structure analysis of scientific publications in mathematics // R. Akerkar (Ed.). Proceedings of the International Conference on Web Intelligence, Mining and Semantics (WIMS 2011), Sogndal, Norway May 25–27, 2011. ACM, 2011. Article No. 21. https://doi.org/10.1145/1988688.1988713.Елизаров А. М., Липачёв Е. К., Невзорова О. А., Соловьев В. Д. Методы и средства семантического структурирования электронных математических документов // Доклады Академии наук. 2014. Т. 457, № 6. С. 642–645. https://doi.org/10.7868/S0869565214240049.Елизаров А. М., Липачёв Е. К., Невзорова О. А., Соловьев В. Д. Методы и средства семантического структурирования электронных математических документов // Доклады Академии наук. 2014. Т. 457, № 6. С. 642–645. https://doi.org/10.7868/S0869565214240049.Nevzorova O., Zhiltsov N., Kirillovich A., Lipachev E. OntoMathPRO Ontology: A Linked Data Hub for Mathematics // P. Klinov and D. Mouromstev (Eds.). Proceedings of the 5th International Conference on Knowledge Engineering and Semantic Web (KESW 2014), Kazan, Russia, September 29–October 1, 2014. Communications in Computer and Information Science. Springer, Cham, 2014. Vol. 468. P. 105–119. https://doi.org/10.1007/978-3-319-11716-4_9.Nevzorova O., Zhiltsov N., Kirillovich A., Lipachev E. OntoMathPRO Ontology: A Linked Data Hub for Mathematics // P. Klinov and D. Mouromstev (Eds.). Proceedings of the 5th International Conference on Knowledge Engineering and Semantic Web (KESW 2014), Kazan, Russia, September 29–October 1, 2014. Communications in Computer and Information Science. Springer, Cham, 2014. Vol. 468. P. 105–119. https://doi.org/10.1007/978-3-319-11716-4_9.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., and Shakirova L. OntoMathEdu: A Linguistically Grounded Educational Mathematical Ontology // C. Benzmüller and B. Miller (Eds.). Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Italy, July 26–31, 2020. Lecture Notes in Computer Science. Springer, 2020. Vol. 12236. P. 157–172. https://doi.org/10.1007/978-3-030-53518-6_10.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., and Shakirova L. OntoMathEdu: A Linguistically Grounded Educational Mathematical Ontology // C. Benzmüller and B. Miller (Eds.). Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Italy, July 26–31, 2020. Lecture Notes in Computer Science. Springer, 2020. Vol. 12236. P. 157–172. https://doi.org/10.1007/978-3-030-53518-6_10.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., and Shakirova L. OntoMathEdu: Towards an Educational Mathematical Ontology // E. Brady et al. (Eds.). Workshop Papers at 12th Conference on Intelligent Computer Mathematics (CICM-WS 2019), Prague, Czech Republic, 8–12 July 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2634. URL: https://ceur-ws.org/Vol-2634/WiP1.pdf.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., and Shakirova L. OntoMathEdu: Towards an Educational Mathematical Ontology // E. Brady et al. (Eds.). Workshop Papers at 12th Conference on Intelligent Computer Mathematics (CICM-WS 2019), Prague, Czech Republic, 8–12 July 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2634. URL: https://ceur-ws.org/Vol-2634/WiP1.pdf.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., Dyupina A., Shakirova L. Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology // J.C. Figueroa-García et al. (Eds.). Proceedings of the 8th Workshop on Engineering Applications (WEA 2021), Medellín, Colombia, October 6–8, 2021. Communications in Computer and Information Science. Springer, 2021. Vol. 1431. P. 517–524. https://doi.org/10.1007/978-3-030-86702-7_44.Kirillovich A., Nevzorova O., Falileeva M., Lipachev E., Dyupina A., Shakirova L. Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology // J.C. Figueroa-García et al. (Eds.). Proceedings of the 8th Workshop on Engineering Applications (WEA 2021), Medellín, Colombia, October 6–8, 2021. Communications in Computer and Information Science. Springer, 2021. Vol. 1431. P. 517–524. https://doi.org/10.1007/978-3-030-86702-7_44.Nevzorova O., Zhiltsov N., Zaikin D., Zhibrik O., Kirillovich A., Nevzorov V., Birialtsev E. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics // Harith Alani et al. (Eds.). Proceedings of the 12th International Semantic Web Conference (ISWC 2013), Sydney, NSW, Australia, October 21–25, 2013. Lecture Notes in Computer Science. Springer, 2013. Vol. 8218. P. 379–394. https://doi.org/10.1007/978-3-642-41335-3_24.Nevzorova O., Zhiltsov N., Zaikin D., Zhibrik O., Kirillovich A., Nevzorov V., Birialtsev E. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics // Harith Alani et al. (Eds.). Proceedings of the 12th International Semantic Web Conference (ISWC 2013), Sydney, NSW, Australia, October 21–25, 2013. Lecture Notes in Computer Science. Springer, 2013. Vol. 8218. P. 379–394. https://doi.org/10.1007/978-3-642-41335-3_24.Nevzorova O., Almukhametov D. Towards a Recommender System for the Choice of UDC Code for Mathematical Articles // A. Pozanenko et al. (Eds.). Supplementary Proceedings of the XXIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2021), Moscow, Russia, October 26–29, 2021. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 3036. P. 54–62. URL: https://ceur-ws.org/Vol-3036/paper04.pdf.Nevzorova O., Almukhametov D. Towards a Recommender System for the Choice of UDC Code for Mathematical Articles // A. Pozanenko et al. (Eds.). Supplementary Proceedings of the XXIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2021), Moscow, Russia, October 26–29, 2021. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 3036. P. 54–62. URL: https://ceur-ws.org/Vol-3036/paper04.pdf.Глухов В.А., Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Электронные научные издания: переход на технологии семантического веба // Электронные библиотеки. 2007. Т. 10. № 1. С. 2.Глухов В.А., Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Электронные научные издания: переход на технологии семантического веба // Электронные библиотеки. 2007. Т. 10. № 1. С. 2.Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Веб-технологии в работе электронного математического журнала Lobachevskii Journal of Mathematics // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной конференции. Московский государственный университет им. М.В. Ломоносова, Южный федеральный университет, Институт вычислительной математики РАН. 2007. С. 355–356.Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Веб-технологии в работе электронного математического журнала Lobachevskii Journal of Mathematics // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной конференции. Московский государственный университет им. М.В. Ломоносова, Южный федеральный университет, Институт вычислительной математики РАН. 2007. С. 355–356.Ахметов Д.Ю., Елизаров А.М., Липачев Е.К. Автоматизация редакционных процессов в информационной системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 32–45.Ахметов Д.Ю., Елизаров А.М., Липачев Е.К. Автоматизация редакционных процессов в информационной системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 32–45.Elizarov A.M., Khaydarov S.M., Lipachev E.K. The Formation Method of Recommendations in the Process of Scientific Peer Review of Mathematical Papers // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–brau, Russia, September 23–28, 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2543. P. 126–135. URL: https://ceur-ws.org/Vol-2543/rpaper12.pdf.Elizarov A.M., Khaydarov S.M., Lipachev E.K. The Formation Method of Recommendations in the Process of Scientific Peer Review of Mathematical Papers // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–brau, Russia, September 23–28, 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2543. P. 126–135. URL: https://ceur-ws.org/Vol-2543/rpaper12.pdf.Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Рекомендательная система поиска экспертов для проведения научного рецензирования в математическом журнале // Электронные библиотеки. 2020. Т. 23. № 4. С. 708–732. https://doi.org/ 10.26907/1562-5419-2020-23-4-708-732.Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Рекомендательная система поиска экспертов для проведения научного рецензирования в математическом журнале // Электронные библиотеки. 2020. Т. 23. № 4. С. 708–732. https://doi.org/ 10.26907/1562-5419-2020-23-4-708-732.Николаев К.С., Невзорова О.А. Метод автоматической семантической разметки математических образовательных текстов // Информационные технологии в образовании и науке (ИТОН–2022) и II International Workshop “Digital Technologies for Teaching and Learning” (DTTL). Материалы III Международного форума по математическому образованию: Международной научно-практической конференции и II Международного научного семинара. Казань, 2022. С. 181–190.Николаев К.С., Невзорова О.А. Метод автоматической семантической разметки математических образовательных текстов // Информационные технологии в образовании и науке (ИТОН–2022) и II International Workshop “Digital Technologies for Teaching and Learning” (DTTL). Материалы III Международного форума по математическому образованию: Международной научно-практической конференции и II Международного научного семинара. Казань, 2022. С. 181–190.Kirillovich A., Nevzorova O., Nikolaev K., and Galiaskarova K. Towards a Parallel Informal-Formal Corpus of Educational Mathematical Texts in Russian // Zhengbing Hu et al. (Eds.). Proceedings of the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS 2019), Moscow, Russia, on 4–6 October 2019. Advances in Intelligent Systems and Computing. Springer, 2020. Vol. 1127. P. 325–334. https://doi.org/10.1007/978-3-030-39216-1_29.Kirillovich A., Nevzorova O., Nikolaev K., and Galiaskarova K. Towards a Parallel Informal-Formal Corpus of Educational Mathematical Texts in Russian // Zhengbing Hu et al. (Eds.). Proceedings of the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS 2019), Moscow, Russia, on 4–6 October 2019. Advances in Intelligent Systems and Computing. Springer, 2020. Vol. 1127. P. 325–334. https://doi.org/10.1007/978-3-030-39216-1_29.Nikolaev K., Kirillovich A., and Nevzorova O.A Corpus-Based Approach to Elementary Geometry Knowledge Test Generation // L. Gómez Chova et al. (Eds.). Proceedings of the 14th International Technology, Education and Development Conference (INTED 2020), Valencia, Spain, 2–4 March 2020. IATED, 2020. P. 6342–6348.Nikolaev K., Kirillovich A., and Nevzorova O.A Corpus-Based Approach to Elementary Geometry Knowledge Test Generation // L. Gómez Chova et al. (Eds.). Proceedings of the 14th International Technology, Education and Development Conference (INTED 2020), Valencia, Spain, 2–4 March 2020. IATED, 2020. P. 6342–6348.Elizarov A., Lipachev E. Digital Library Metadata Factories // R.V. Bolgov et al. (Eds.). Proceedings of the International Conference on Internet and Modern Society (IMS-2020), St. Petersburg, Russia, 17–20 June 2020. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 2813. P. 13–21. URL: https://ceur-ws.org/Vol-2813/rpaper01.pdf.Elizarov A., Lipachev E. Digital Library Metadata Factories // R.V. Bolgov et al. (Eds.). Proceedings of the International Conference on Internet and Modern Society (IMS-2020), St. Petersburg, Russia, 17–20 June 2020. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 2813. P. 13–21. URL: https://ceur-ws.org/Vol-2813/rpaper01.pdf.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Базовые сервисы фабрики метаданных цифровой математической библиотеки Lobachevskii-DML // Электронные библиотеки. 2020. Т. 23. № 3. С. 336–381. https://doi.org/ 10.26907/1562-5419-2020-23-3-336-381.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Базовые сервисы фабрики метаданных цифровой математической библиотеки Lobachevskii-DML // Электронные библиотеки. 2020. Т. 23. № 3. С. 336–381. https://doi.org/ 10.26907/1562-5419-2020-23-3-336-381.Герасимов А.Н., Елизаров А.М., Липачёв Е.К. Формирование метаданных для международных баз цитирования в системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 6–31.Герасимов А.Н., Елизаров А.М., Липачёв Е.К. Формирование метаданных для международных баз цитирования в системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 6–31.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Алгоритмы формирования метаданных математических ретро-коллекций на основе анализа структурных особенностей документов // Электронные библиотеки. 2021. Т. 24. № 2. С. 238–271. https://doi.org/10.26907/1562-5419-2021-24-2-238-270.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Алгоритмы формирования метаданных математических ретро-коллекций на основе анализа структурных особенностей документов // Электронные библиотеки. 2021. Т. 24. № 2. С. 238–271. https://doi.org/10.26907/1562-5419-2021-24-2-238-270.Elizarov A.M., Lipachev E.K., Khaydarov S.M. Automated System of Services for Processing of Large Collections of Scientific Documents // L. Kalinichenko, S. Kuznetsov, and Y. Manolopoulos (Eds.). Revised Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. Communications in Computer and Information Science. Springer, 2017. Vol. 706. P. 58–64. URL: https://ceur-ws.org/Vol-1752/paper10.pdf.Elizarov A.M., Lipachev E.K., Khaydarov S.M. Automated System of Services for Processing of Large Collections of Scientific Documents // L. Kalinichenko, S. Kuznetsov, and Y. Manolopoulos (Eds.). Revised Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow, Russia, October 11–14, 2016. Communications in Computer and Information Science. Springer, 2017. Vol. 706. P. 58–64. URL: https://ceur-ws.org/Vol-1752/paper10.pdf.Elizarov A., Khaydarov S., Lipachev E. Scientific Documents Ontologies for Semantic Representation of Digital Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017), Vladivostok, Russia, 25–29 September, 2017. IEEE, 2017. P. 1–5. https://doi.org/ 10.1109/RPC.2017.8168064.Elizarov A., Khaydarov S., Lipachev E. Scientific Documents Ontologies for Semantic Representation of Digital Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017), Vladivostok, Russia, 25–29 September, 2017. IEEE, 2017. P. 1–5. https://doi.org/ 10.1109/RPC.2017.8168064.Elizarov A.M., Lipachev E.K. Methods of Processing Large Collections of Scientific Documents and the Formation of Digital Mathematical Library // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–Abrau, Russia, September 23-28, 2019. CEUR Workshop Proceedings. SSI 2019 – Proceedings of the 21st Conference on Scientific Services and Internet. CEUR-WS, 2020. Vol. 2543. P. 354–360. URL: https://ceur-ws.org/Vol-2543/spaper05.pdf.Elizarov A.M., Lipachev E.K. Methods of Processing Large Collections of Scientific Documents and the Formation of Digital Mathematical Library // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–Abrau, Russia, September 23-28, 2019. CEUR Workshop Proceedings. SSI 2019 – Proceedings of the 21st Conference on Scientific Services and Internet. CEUR-WS, 2020. Vol. 2543. P. 354–360. URL: https://ceur-ws.org/Vol-2543/spaper05.pdf.Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A. OntoMathPRO: An Ontology of Mathematical Knowledge // Doklady Mathematics. 2022. Vol. 106 (3). P. 29–35. https://doi.org/10.1134/S1064562422700016.Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A. OntoMathPRO: An Ontology of Mathematical Knowledge // Doklady Mathematics. 2022. Vol. 106 (3). P. 29–35. https://doi.org/10.1134/S1064562422700016.Guizzardi G., Botti Benevides A., Fonseca C.M., Porello D., Almeida J.P.A., Prince Sales T. UFO: Unified Foundational Ontology // Applied Ontology. 2022. 17 (1), P. 167–210. https://doi.org/10.3233/AO-210256.Guizzardi G., Botti Benevides A., Fonseca C.M., Porello D., Almeida J.P.A., Prince Sales T. UFO: Unified Foundational Ontology // Applied Ontology. 2022. 17 (1), P. 167–210. https://doi.org/10.3233/AO-210256.Фалилеева М.В., Кириллович А.В., Hевзорова О.А., Шакирова Л.Р., Липачёв Е.К., Дюпина А.Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu // Электронные библиотеки. 2021. Т. 24. № 3. С. 505–530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530.Фалилеева М.В., Кириллович А.В., Hевзорова О.А., Шакирова Л.Р., Липачёв Е.К., Дюпина А.Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu // Электронные библиотеки. 2021. Т. 24. № 3. С. 505–530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530.Муромцев Д.И. Модели и методы индивидуализации электронного обучения в контексте онтологического подхода // Онтологии проектирования. 2020. Т. 10, № 1. С. 34–49. https://doi.org/10.18287/2223-9537-2020-10-1-34-49.Муромцев Д.И. Модели и методы индивидуализации электронного обучения в контексте онтологического подхода // Онтологии проектирования. 2020. Т. 10, № 1. С. 34–49. https://doi.org/10.18287/2223-9537-2020-10-1-34-49.Schraefel M., Shadbolt N., Gibbins N. CS AKTive Space: Representing Computer Science on the Semantic Web // Proceedings of the 13th international conference on World Wide Web (WWW 2004), New York, USA, May 17–20, 2004. N.Y.: ACM Press New York, 2004. P. 384–392. https://doi.org/10.1145/988672.988724.Schraefel M., Shadbolt N., Gibbins N. CS AKTive Space: Representing Computer Science on the Semantic Web // Proceedings of the 13th international conference on World Wide Web (WWW 2004), New York, USA, May 17–20, 2004. N.Y.: ACM Press New York, 2004. P. 384–392. https://doi.org/10.1145/988672.988724.Kirillovich A. and Nikolaev K. Adapting the LodView RDF Browser for Navigation over the Multilingual Linguistic Linked Open Data Cloud // Proceedings of the 9th IEEE International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2022), Genova, Italy & Sfax, Tunisia, 28–30 May 2022. IEEE, 2022. P. 143–149. https://doi.org/10.1109/SETIT54465.2022.9875628.Kirillovich A. and Nikolaev K. Adapting the LodView RDF Browser for Navigation over the Multilingual Linguistic Linked Open Data Cloud // Proceedings of the 9th IEEE International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2022), Genova, Italy & Sfax, Tunisia, 28–30 May 2022. IEEE, 2022. P. 143–149. https://doi.org/10.1109/SETIT54465.2022.9875628.Хайдаров Ш.М., Ямалутдинова Г.Ш. Алгоритм формирования словарей рекомендующей системы подбора классификаторов научной информации // Ученые записки Института социально-гуманитарных знаний. 2017. Т. 15. № 1. С. 552–557.Хайдаров Ш.М., Ямалутдинова Г.Ш. Алгоритм формирования словарей рекомендующей системы подбора классификаторов научной информации // Ученые записки Института социально-гуманитарных знаний. 2017. Т. 15. № 1. С. 552–557.Khaydarov S.M., Yamalutdinova G.S. Recommender system of physical and mathematical documents classification // V. Voevodin et al. (Eds.). Proceedings of the 20th Conference Scientific Services & Internet (SSI-2018), Novorossiysk–Abrau, Russia, September 17–22, 2018. CEUR Workshop Proceedings. CEUR-WS, 2018. Vol. 2260. P. 480–486. URL: https://ceur-ws.org/Vol-2260/57_480-486.pdf.Khaydarov S.M., Yamalutdinova G.S. Recommender system of physical and mathematical documents classification // V. Voevodin et al. (Eds.). Proceedings of the 20th Conference Scientific Services & Internet (SSI-2018), Novorossiysk–Abrau, Russia, September 17–22, 2018. CEUR Workshop Proceedings. CEUR-WS, 2018. Vol. 2260. P. 480–486. URL: https://ceur-ws.org/Vol-2260/57_480-486.pdf.Хайдаров Ш.М., Ямалутдинова Г.Ш. Рекомендательная система классификации физико-математических документов // Труды XX Всероссийской научной конференции «Научный сервис в сети Интернет», 17–22 сентября 2018, г. Новороссийск. М.: ИПМ им. М.В. Келдыша, 2018. С. 480–486.Хайдаров Ш.М., Ямалутдинова Г.Ш. Рекомендательная система классификации физико-математических документов // Труды XX Всероссийской научной конференции «Научный сервис в сети Интернет», 17–22 сентября 2018, г. Новороссийск. М.: ИПМ им. М.В. Келдыша, 2018. С. 480–486.Биряльцев Е.В., Елизаров А.М., Жильцов Н.Г., Липачёв Е.К.,Биряльцев Е.В., Елизаров А.М., Жильцов Н.Г., Липачёв Е.К.,Невзорова О.А., Соловьев В.Д. Методы анализа семантических данных математических электронных коллекций // Научно-техническая информация. Серия 2: Информационные процессы и системы. 2014. № 4. С. 12–17.Невзорова О.А., Соловьев В.Д. Методы анализа семантических данных математических электронных коллекций // Научно-техническая информация. Серия 2: Информационные процессы и системы. 2014. № 4. С. 12–17.Biryal'tsev E., Elizarov A., Zhil'tsov N., Lipachev E., Nevzorova O., Solov'ev V. Methods for Analyzing Semantic Data of Electronic Collections in Mathematics // Automatic Documentation and Mathematical Linguistics. 2014. V. 48. No. 2. P. 81–85.Biryal'tsev E., Elizarov A., Zhil'tsov N., Lipachev E., Nevzorova O., Solov'ev V. Methods for Analyzing Semantic Data of Electronic Collections in Mathematics // Automatic Documentation and Mathematical Linguistics. 2014. V. 48. No. 2. P. 81–85.Ахметов Д.Ю., Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Программный комплекс формирования рекомендаций по подбору рецензентов для научных документов в информационных издательских системах // Свидетельство о регистрации программы для ЭВМ RU 2018611617, 02.02.2018.Ахметов Д.Ю., Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Программный комплекс формирования рекомендаций по подбору рецензентов для научных документов в информационных издательских системах // Свидетельство о регистрации программы для ЭВМ RU 2018611617, 02.02.2018.MacGregor J., Stranack K. and Willinsky J. The Public Knowledge Project: Open Source Tools for Open Access to Scholarly Communication // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 165–175. https://doi.org/ 10.1007/978-3-319-00026-8_11.MacGregor J., Stranack K. and Willinsky J. The Public Knowledge Project: Open Source Tools for Open Access to Scholarly Communication // S. Bartling and S. Friesike (Eds.) Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing. Springer, Cham, 2014. P. 165–175. https://doi.org/ 10.1007/978-3-319-00026-8_11.Mathematics Subject Classification (MSC2010). https://mathscinet.ams.org/mathscinet/msc/pdfs/classifications2010.pdf.Mathematics Subject Classification (MSC2010). https://mathscinet.ams.org/mathscinet/msc/pdfs/classifications2010.pdf.MSC2020-Mathematics Subject Classification System. https://mathscinet.ams.org/msnhtml/msc2020.pdf.MSC2020-Mathematics Subject Classification System. https://mathscinet.ams.org/msnhtml/msc2020.pdf.MSC Conversion Table. https://mathscinet.ams.org/mathscinet/msc/conv.html?from=2010.MSC Conversion Table. https://mathscinet.ams.org/mathscinet/msc/conv.html?from=2010.Buswell S. et al. (Eds.) The OpenMath Standard. Version: 2.0r2. The OpenMath Society, July 2019. URL: https://openmath.org/standard/om20-2019-07-01/omstd20.html.Buswell S. et al. (Eds.) The OpenMath Standard. Version: 2.0r2. The OpenMath Society, July 2019. URL: https://openmath.org/standard/om20-2019-07-01/omstd20.html.Xie I, Matusiak K. Discover Digital Libraries: Theory and Practice. Elsevier, 2016.Xie I, Matusiak K. Discover Digital Libraries: Theory and Practice. Elsevier, 2016.Bouche T., Labbe O. The New Numdam Platform // H. Geuvers et al. (Eds.). Proceedings of the 10th International Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, UK, July 17–21, 2017. Lecture Notes in Computer Science. Springer, Cham, 2017. Vol. 10383. P. 70–82. https://doi.org/10.1007/978-3-319-62075-6_6. URL: https://zenodo.org/record/581405.Bouche T., Labbe O. The New Numdam Platform // H. Geuvers et al. (Eds.). Proceedings of the 10th International Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, UK, July 17–21, 2017. Lecture Notes in Computer Science. Springer, Cham, 2017. Vol. 10383. P. 70–82. https://doi.org/10.1007/978-3-319-62075-6_6. URL: https://zenodo.org/record/581405.Erxleben F., Günther M., Krötzsch M., Mendez J., Vrandečić D. Introducing Wikidata to the Linked Data Web // P. Mika et al. (Eds.). Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19–23, 2014, Part I. Lecture Notes in Computer Science. Springer, Cham, 2014. Vol. 8796. P. 50–65. https://doi.org/10.1007/978-3-319-11964-9_4.Erxleben F., Günther M., Krötzsch M., Mendez J., Vrandečić D. Introducing Wikidata to the Linked Data Web // P. Mika et al. (Eds.). Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19–23, 2014, Part I. Lecture Notes in Computer Science. Springer, Cham, 2014. Vol. 8796. P. 50–65. https://doi.org/10.1007/978-3-319-11964-9_4.Vrandečić D., Krötzsch M. Wikidata: a free collaborative knowledgebase. Communications of the ACM. 2014. Vol. 57, Issue 10, October 2014. P. 78–85. https://doi.org/10.1145/2629489.Vrandečić D., Krötzsch M. Wikidata: a free collaborative knowledgebase. Communications of the ACM. 2014. Vol. 57, Issue 10, October 2014. P. 78–85. https://doi.org/10.1145/2629489.Scharpf Ph., Schubotz M., Gipp B. Mathematics in Wikidata // L.-A. Kaffee et al. (Eds.). Proceedings of the 2nd Wikidata Workshop (Wikidata 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), October 24, 2021. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 2982. URL: http://ceur-ws.org/Vol-2982/paper-1.pdf.Scharpf Ph., Schubotz M., Gipp B. Mathematics in Wikidata // L.-A. Kaffee et al. (Eds.). Proceedings of the 2nd Wikidata Workshop (Wikidata 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), October 24, 2021. CEUR Workshop Proceedings. CEUR-WS, 2021. Vol. 2982. URL: http://ceur-ws.org/Vol-2982/paper-1.pdf.Андреичев М.Д., Гафурова П.О., Елизаров А.М., Липачёв Е.К. Пополнение метаданных документов математических цифровых ретро-коллекций методом семантических сетей // Труды XXIII Всероссийской научной конференции «Научный сервис в сети Интернет». М.: ИПМ им. М.В. Келдыша, 2021. С. 22–33. https://doi.org/10.20948/abrau-2021-22.Андреичев М.Д., Гафурова П.О., Елизаров А.М., Липачёв Е.К. Пополнение метаданных документов математических цифровых ретро-коллекций методом семантических сетей // Труды XXIII Всероссийской научной конференции «Научный сервис в сети Интернет». М.: ИПМ им. М.В. Келдыша, 2021. С. 22–33. https://doi.org/10.20948/abrau-2021-22.Harris S. et al. (Eds.) SPARQL 1.1 Query Language. W3C Recommendation, 21 March 2013. URL: https://www.w3.org/TR/sparql11-query/.Harris S. et al. (Eds.) SPARQL 1.1 Query Language. W3C Recommendation, 21 March 2013. URL: https://www.w3.org/TR/sparql11-query/.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Извлечение знаний из Wikidata для формирования метаданных документов электронных математических коллекций // Электронные библиотеки. 2021. Т. 24. № 6. С. 1023–1059. https://doi.org/10.26907/1562-5419-2021-24-6-1023-1059.Гафурова П.О., Елизаров А.М., Липачёв Е.К. Извлечение знаний из Wikidata для формирования метаданных документов электронных математических коллекций // Электронные библиотеки. 2021. Т. 24. № 6. С. 1023–1059. https://doi.org/10.26907/1562-5419-2021-24-6-1023-1059.Journal Article Tag Suite. URL: https://jats.nlm.nih.gov/about.html.Journal Article Tag Suite. URL: https://jats.nlm.nih.gov/about.html.EuDML metadata schema specification (v2.0–final). https://initiative.eudml.org/eudml-metadata-schema-specification-v20-final.EuDML metadata schema specification (v2.0–final). https://initiative.eudml.org/eudml-metadata-schema-specification-v20-final.Jost M., Bouche T., Goutorbe C., Jorda J.P. D3.2: The EuDML metadata schema. Revision: 1.6 as of 15th December 2010. URL: http://www.mathdoc.fr/publis/d3.2-v1.6.pdf.Jost M., Bouche T., Goutorbe C., Jorda J.P. D3.2: The EuDML metadata schema. Revision: 1.6 as of 15th December 2010. URL: http://www.mathdoc.fr/publis/d3.2-v1.6.pdf.Gafurova P.O., Elizarov A.M., Lipachev E.K., Khammatova D.M. Metadata Normalization Methods in the Digital Mathematical Library // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–Abrau, Russia, September 23–28, 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2543. P. 136–148. URL: https://ceur-ws.org/Vol-2543/rpaper13.pdf.Gafurova P.O., Elizarov A.M., Lipachev E.K., Khammatova D.M. Metadata Normalization Methods in the Digital Mathematical Library // M. Gorbunov-Posadov et al. (Eds.). Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk–Abrau, Russia, September 23–28, 2019. CEUR Workshop Proceedings. CEUR-WS, 2020. Vol. 2543. P. 136–148. URL: https://ceur-ws.org/Vol-2543/rpaper13.pdf.

The authors declare that there are no conflicts of interest present.