Digital Ecosystem OntoMath as an Approach to Building the Space of Mathematical Knowledge
Main Article Content
Abstract
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.
Article Details
References
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.
2. Елизаров А.М., Зуев Д.С., Липачёв Е.К. Управление жизненным циклом электронных публикаций в информационной системе научного журнала // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. 2014. № 4. С. 81–88.
3. Елизаров А.М., Зуев Д.С., Липачёв Е.К. Сервисы поддержки жизненного цикла электронных научных публикаций // Научный сервис в сети Интернет: многообразие суперкомпьютерных миров. Труды Международной суперкомпьютерной конференции. Российская академия наук. Суперкомпьютерный консорциум университетов России. 2014. С. 436–438.
4. 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.
5. Горбунов-Посадов М. Живая публикация // Открытые системы. СУБД. 2011. № 4. С. 48.
6. Елизаров А.М., Липачёв Е.К. Цифровые платформы и цифровые научные библиотеки // International Journal of Open Information Technologies. 2020. Vol. 8. No. 11. P. 80–90.
7. 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.
8. 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.
9. Developing a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, 2014. 142 p. https://doi.org/10.17226/18619.
10. SearchOnMath Site. URL: https://www.searchonmath.com/.
11. MathWebSearch: Searching Math on the Web. URL: https://search.mathweb.org/.
12. The zbMATH Open formula search. URL: https://zbmath.org/formulae/.
13. 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.
14. 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.
15. Guidi F., Sacerdoti Coen C. A Survey on Retrieval of Mathematical Knowledge // Math. Comput. Sci. 2016. Vol. 10. P. 409–427.
16. 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.
17. Елизаров А.М., Жижченко А.Б., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Онтология математического знания и рекомендательная система для коллекций физико-математических документов // Доклады Академии наук. 2016. Т. 467 (4). P. 392–395 (2016). https://doi.org/10.7868/S0869565216100042.
18. 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.
19. 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.
20. 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.
21. Hazewinkel M. Mathematical Knowledge Management: Mathematical knowledge management is needed // arXiv:cs/0410055 [cs.IR] Oct 2004.
22. 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.
23. 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.
24. Borwein J., Rocha E.M., Rodrigues J.F. Communicating Mathematics in the Digital Era. A K Peters/CRC Press, 2008.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. Bosch J. Speed, Data, and Ecosystems. Excelling in a Software-Driven World. CRC Press. Taylor & Francis Group, 2017.
31. Szoniecky S., Bouhai N. (Eds.) Collective Intelligence and Digital Archives: Towards Knowledge Ecosystems. ISTE Ltd and John Wiley & Sons, Inc., 2017.
32. 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.
33. 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.
34. Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Управление математическими знаниями: онтологические модели и цифровые технологии // Сборник статей XVIII международной конференции «Аналитика и управление данными в областях с интенсивным использованием данных» (DAMDID/RCDL'2016). М.: ФИЦ ИУ РАН, 2016. С. 95–101.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. Groza T., Handschuh S. SALT Document Ontology. DERI, 2009. URL: https://web.archive.org/web/20100516153736/http://salt.semanticauthoring.org/ontologies/sdo.
41. Невзорова О.А, Биряльцев Е.В., Жильцов Н.Г. Коллекции математических текстов: аннотирование и применение в поисковых задачах // Искусственный интеллект и принятие решений. 2012. № 3. С. 51–62.
42. 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.
43. Елизаров А. М., Липачёв Е. К., Невзорова О. А., Соловьев В. Д. Методы и средства семантического структурирования электронных математических документов // Доклады Академии наук. 2014. Т. 457, № 6. С. 642–645. https://doi.org/10.7868/S0869565214240049.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. Глухов В.А., Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Электронные научные издания: переход на технологии семантического веба // Электронные библиотеки. 2007. Т. 10. № 1. С. 2.
51. Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Веб-технологии в работе электронного математического журнала Lobachevskii Journal of Mathematics // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной конференции. Московский государственный университет им. М.В. Ломоносова, Южный федеральный университет, Институт вычислительной математики РАН. 2007. С. 355–356.
52. Ахметов Д.Ю., Елизаров А.М., Липачев Е.К. Автоматизация редакционных процессов в информационной системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 32–45.
53. 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.
54. Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Рекомендательная система поиска экспертов для проведения научного рецензирования в математическом журнале // Электронные библиотеки. 2020. Т. 23. № 4. С. 708–732. https://doi.org/ 10.26907/1562-5419-2020-23-4-708-732.
55. Николаев К.С., Невзорова О.А. Метод автоматической семантической разметки математических образовательных текстов // Информационные технологии в образовании и науке (ИТОН–2022) и II International Workshop “Digital Technologies for Teaching and Learning” (DTTL). Материалы III Международного форума по математическому образованию: Международной научно-практической конференции и II Международного научного семинара. Казань, 2022. С. 181–190.
56. 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.
57. 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.
58. 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.
59. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Базовые сервисы фабрики метаданных цифровой математической библиотеки Lobachevskii-DML // Электронные библиотеки. 2020. Т. 23. № 3. С. 336–381. https://doi.org/ 10.26907/1562-5419-2020-23-3-336-381.
60. Герасимов А.Н., Елизаров А.М., Липачёв Е.К. Формирование метаданных для международных баз цитирования в системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 6–31.
61. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Алгоритмы формирования метаданных математических ретро-коллекций на основе анализа структурных особенностей документов // Электронные библиотеки. 2021. Т. 24. № 2. С. 238–271. https://doi.org/10.26907/1562-5419-2021-24-2-238-270.
62. 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.
63. 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.
64. 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.
65. 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.
66. 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.
67. Фалилеева М.В., Кириллович А.В., Hевзорова О.А., Шакирова Л.Р., Липачёв Е.К., Дюпина А.Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu // Электронные библиотеки. 2021. Т. 24. № 3. С. 505–530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530.
68. Муромцев Д.И. Модели и методы индивидуализации электронного обучения в контексте онтологического подхода // Онтологии проектирования. 2020. Т. 10, № 1. С. 34–49. https://doi.org/10.18287/2223-9537-2020-10-1-34-49.
69. 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.
70. 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.
71. Хайдаров Ш.М., Ямалутдинова Г.Ш. Алгоритм формирования словарей рекомендующей системы подбора классификаторов научной информации // Ученые записки Института социально-гуманитарных знаний. 2017. Т. 15. № 1. С. 552–557.
72. 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.
73. Хайдаров Ш.М., Ямалутдинова Г.Ш. Рекомендательная система классификации физико-математических документов // Труды XX Всероссийской научной конференции «Научный сервис в сети Интернет», 17–22 сентября 2018, г. Новороссийск. М.: ИПМ им. М.В. Келдыша, 2018. С. 480–486.
74. Биряльцев Е.В., Елизаров А.М., Жильцов Н.Г., Липачёв Е.К.,
Невзорова О.А., Соловьев В.Д. Методы анализа семантических данных математических электронных коллекций // Научно-техническая информация. Серия 2: Информационные процессы и системы. 2014. № 4. С. 12–17.
75. 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.
76. Ахметов Д.Ю., Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Программный комплекс формирования рекомендаций по подбору рецензентов для научных документов в информационных издательских системах // Свидетельство о регистрации программы для ЭВМ RU 2018611617, 02.02.2018.
77. 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.
78. Mathematics Subject Classification (MSC2010). https://mathscinet.ams.org/mathscinet/msc/pdfs/classifications2010.pdf.
79. MSC2020-Mathematics Subject Classification System. https://mathscinet.ams.org/msnhtml/msc2020.pdf.
80. MSC Conversion Table. https://mathscinet.ams.org/mathscinet/msc/conv.html?from=2010.
81. 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.
82. Xie I, Matusiak K. Discover Digital Libraries: Theory and Practice. Elsevier, 2016.
83. 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.
84. 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.
85. 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.
86. 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.
87. Андреичев М.Д., Гафурова П.О., Елизаров А.М., Липачёв Е.К. Пополнение метаданных документов математических цифровых ретро-коллекций методом семантических сетей // Труды XXIII Всероссийской научной конференции «Научный сервис в сети Интернет». М.: ИПМ им. М.В. Келдыша, 2021. С. 22–33. https://doi.org/10.20948/abrau-2021-22.
88. Harris S. et al. (Eds.) SPARQL 1.1 Query Language. W3C Recommendation, 21 March 2013. URL: https://www.w3.org/TR/sparql11-query/.
89. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Извлечение знаний из Wikidata для формирования метаданных документов электронных математических коллекций // Электронные библиотеки. 2021. Т. 24. № 6. С. 1023–1059. https://doi.org/10.26907/1562-5419-2021-24-6-1023-1059.
90. Journal Article Tag Suite. URL: https://jats.nlm.nih.gov/about.html.
91. EuDML metadata schema specification (v2.0–final). https://initiative.eudml.org/eudml-metadata-schema-specification-v20-final.
92. 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.
93. 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.
2. Елизаров А.М., Зуев Д.С., Липачёв Е.К. Управление жизненным циклом электронных публикаций в информационной системе научного журнала // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. 2014. № 4. С. 81–88.
3. Елизаров А.М., Зуев Д.С., Липачёв Е.К. Сервисы поддержки жизненного цикла электронных научных публикаций // Научный сервис в сети Интернет: многообразие суперкомпьютерных миров. Труды Международной суперкомпьютерной конференции. Российская академия наук. Суперкомпьютерный консорциум университетов России. 2014. С. 436–438.
4. 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.
5. Горбунов-Посадов М. Живая публикация // Открытые системы. СУБД. 2011. № 4. С. 48.
6. Елизаров А.М., Липачёв Е.К. Цифровые платформы и цифровые научные библиотеки // International Journal of Open Information Technologies. 2020. Vol. 8. No. 11. P. 80–90.
7. 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.
8. 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.
9. Developing a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, 2014. 142 p. https://doi.org/10.17226/18619.
10. SearchOnMath Site. URL: https://www.searchonmath.com/.
11. MathWebSearch: Searching Math on the Web. URL: https://search.mathweb.org/.
12. The zbMATH Open formula search. URL: https://zbmath.org/formulae/.
13. 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.
14. 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.
15. Guidi F., Sacerdoti Coen C. A Survey on Retrieval of Mathematical Knowledge // Math. Comput. Sci. 2016. Vol. 10. P. 409–427.
16. 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.
17. Елизаров А.М., Жижченко А.Б., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Онтология математического знания и рекомендательная система для коллекций физико-математических документов // Доклады Академии наук. 2016. Т. 467 (4). P. 392–395 (2016). https://doi.org/10.7868/S0869565216100042.
18. 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.
19. 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.
20. 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.
21. Hazewinkel M. Mathematical Knowledge Management: Mathematical knowledge management is needed // arXiv:cs/0410055 [cs.IR] Oct 2004.
22. 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.
23. 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.
24. Borwein J., Rocha E.M., Rodrigues J.F. Communicating Mathematics in the Digital Era. A K Peters/CRC Press, 2008.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. Bosch J. Speed, Data, and Ecosystems. Excelling in a Software-Driven World. CRC Press. Taylor & Francis Group, 2017.
31. Szoniecky S., Bouhai N. (Eds.) Collective Intelligence and Digital Archives: Towards Knowledge Ecosystems. ISTE Ltd and John Wiley & Sons, Inc., 2017.
32. 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.
33. 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.
34. Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Управление математическими знаниями: онтологические модели и цифровые технологии // Сборник статей XVIII международной конференции «Аналитика и управление данными в областях с интенсивным использованием данных» (DAMDID/RCDL'2016). М.: ФИЦ ИУ РАН, 2016. С. 95–101.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. Groza T., Handschuh S. SALT Document Ontology. DERI, 2009. URL: https://web.archive.org/web/20100516153736/http://salt.semanticauthoring.org/ontologies/sdo.
41. Невзорова О.А, Биряльцев Е.В., Жильцов Н.Г. Коллекции математических текстов: аннотирование и применение в поисковых задачах // Искусственный интеллект и принятие решений. 2012. № 3. С. 51–62.
42. 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.
43. Елизаров А. М., Липачёв Е. К., Невзорова О. А., Соловьев В. Д. Методы и средства семантического структурирования электронных математических документов // Доклады Академии наук. 2014. Т. 457, № 6. С. 642–645. https://doi.org/10.7868/S0869565214240049.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. Глухов В.А., Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Электронные научные издания: переход на технологии семантического веба // Электронные библиотеки. 2007. Т. 10. № 1. С. 2.
51. Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Веб-технологии в работе электронного математического журнала Lobachevskii Journal of Mathematics // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной конференции. Московский государственный университет им. М.В. Ломоносова, Южный федеральный университет, Институт вычислительной математики РАН. 2007. С. 355–356.
52. Ахметов Д.Ю., Елизаров А.М., Липачев Е.К. Автоматизация редакционных процессов в информационной системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 32–45.
53. 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.
54. Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Рекомендательная система поиска экспертов для проведения научного рецензирования в математическом журнале // Электронные библиотеки. 2020. Т. 23. № 4. С. 708–732. https://doi.org/ 10.26907/1562-5419-2020-23-4-708-732.
55. Николаев К.С., Невзорова О.А. Метод автоматической семантической разметки математических образовательных текстов // Информационные технологии в образовании и науке (ИТОН–2022) и II International Workshop “Digital Technologies for Teaching and Learning” (DTTL). Материалы III Международного форума по математическому образованию: Международной научно-практической конференции и II Международного научного семинара. Казань, 2022. С. 181–190.
56. 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.
57. 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.
58. 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.
59. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Базовые сервисы фабрики метаданных цифровой математической библиотеки Lobachevskii-DML // Электронные библиотеки. 2020. Т. 23. № 3. С. 336–381. https://doi.org/ 10.26907/1562-5419-2020-23-3-336-381.
60. Герасимов А.Н., Елизаров А.М., Липачёв Е.К. Формирование метаданных для международных баз цитирования в системе управления электронными научными журналами // Электронные библиотеки. 2015. Т. 18. № 1–2. С. 6–31.
61. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Алгоритмы формирования метаданных математических ретро-коллекций на основе анализа структурных особенностей документов // Электронные библиотеки. 2021. Т. 24. № 2. С. 238–271. https://doi.org/10.26907/1562-5419-2021-24-2-238-270.
62. 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.
63. 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.
64. 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.
65. 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.
66. 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.
67. Фалилеева М.В., Кириллович А.В., Hевзорова О.А., Шакирова Л.Р., Липачёв Е.К., Дюпина А.Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu // Электронные библиотеки. 2021. Т. 24. № 3. С. 505–530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530.
68. Муромцев Д.И. Модели и методы индивидуализации электронного обучения в контексте онтологического подхода // Онтологии проектирования. 2020. Т. 10, № 1. С. 34–49. https://doi.org/10.18287/2223-9537-2020-10-1-34-49.
69. 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.
70. 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.
71. Хайдаров Ш.М., Ямалутдинова Г.Ш. Алгоритм формирования словарей рекомендующей системы подбора классификаторов научной информации // Ученые записки Института социально-гуманитарных знаний. 2017. Т. 15. № 1. С. 552–557.
72. 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.
73. Хайдаров Ш.М., Ямалутдинова Г.Ш. Рекомендательная система классификации физико-математических документов // Труды XX Всероссийской научной конференции «Научный сервис в сети Интернет», 17–22 сентября 2018, г. Новороссийск. М.: ИПМ им. М.В. Келдыша, 2018. С. 480–486.
74. Биряльцев Е.В., Елизаров А.М., Жильцов Н.Г., Липачёв Е.К.,
Невзорова О.А., Соловьев В.Д. Методы анализа семантических данных математических электронных коллекций // Научно-техническая информация. Серия 2: Информационные процессы и системы. 2014. № 4. С. 12–17.
75. 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.
76. Ахметов Д.Ю., Елизаров А.М., Липачёв Е.К., Хайдаров Ш.М. Программный комплекс формирования рекомендаций по подбору рецензентов для научных документов в информационных издательских системах // Свидетельство о регистрации программы для ЭВМ RU 2018611617, 02.02.2018.
77. 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.
78. Mathematics Subject Classification (MSC2010). https://mathscinet.ams.org/mathscinet/msc/pdfs/classifications2010.pdf.
79. MSC2020-Mathematics Subject Classification System. https://mathscinet.ams.org/msnhtml/msc2020.pdf.
80. MSC Conversion Table. https://mathscinet.ams.org/mathscinet/msc/conv.html?from=2010.
81. 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.
82. Xie I, Matusiak K. Discover Digital Libraries: Theory and Practice. Elsevier, 2016.
83. 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.
84. 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.
85. 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.
86. 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.
87. Андреичев М.Д., Гафурова П.О., Елизаров А.М., Липачёв Е.К. Пополнение метаданных документов математических цифровых ретро-коллекций методом семантических сетей // Труды XXIII Всероссийской научной конференции «Научный сервис в сети Интернет». М.: ИПМ им. М.В. Келдыша, 2021. С. 22–33. https://doi.org/10.20948/abrau-2021-22.
88. Harris S. et al. (Eds.) SPARQL 1.1 Query Language. W3C Recommendation, 21 March 2013. URL: https://www.w3.org/TR/sparql11-query/.
89. Гафурова П.О., Елизаров А.М., Липачёв Е.К. Извлечение знаний из Wikidata для формирования метаданных документов электронных математических коллекций // Электронные библиотеки. 2021. Т. 24. № 6. С. 1023–1059. https://doi.org/10.26907/1562-5419-2021-24-6-1023-1059.
90. Journal Article Tag Suite. URL: https://jats.nlm.nih.gov/about.html.
91. EuDML metadata schema specification (v2.0–final). https://initiative.eudml.org/eudml-metadata-schema-specification-v20-final.
92. 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.
93. 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.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Presenting an article for publication in the Russian Digital Libraries Journal (RDLJ), the authors automatically give consent to grant a limited license to use the materials of the Kazan (Volga) Federal University (KFU) (of course, only if the article is accepted for publication). This means that KFU has the right to publish an article in the next issue of the journal (on the website or in printed form), as well as to reprint this article in the archives of RDLJ CDs or to include in a particular information system or database, produced by KFU.
All copyrighted materials are placed in RDLJ with the consent of the authors. In the event that any of the authors have objected to its publication of materials on this site, the material can be removed, subject to notification to the Editor in writing.
Documents published in RDLJ are protected by copyright and all rights are reserved by the authors. Authors independently monitor compliance with their rights to reproduce or translate their papers published in the journal. If the material is published in RDLJ, reprinted with permission by another publisher or translated into another language, a reference to the original publication.
By submitting an article for publication in RDLJ, authors should take into account that the publication on the Internet, on the one hand, provide unique opportunities for access to their content, but on the other hand, are a new form of information exchange in the global information society where authors and publishers is not always provided with protection against unauthorized copying or other use of materials protected by copyright.
RDLJ is copyrighted. When using materials from the log must indicate the URL: index.phtml page = elbib / rus / journal?. Any change, addition or editing of the author's text are not allowed. Copying individual fragments of articles from the journal is allowed for distribute, remix, adapt, and build upon article, even commercially, as long as they credit that article for the original creation.
Request for the right to reproduce or use any of the materials published in RDLJ should be addressed to the Editor-in-Chief A.M. Elizarov at the following address: amelizarov@gmail.com.
The publishers of RDLJ is not responsible for the view, set out in the published opinion articles.
We suggest the authors of articles downloaded from this page, sign it and send it to the journal publisher's address by e-mail scan copyright agreements on the transfer of non-exclusive rights to use the work.