Цифровая экосистема OntoMath как подход к построению пространства математических знаний
Main Article Content
Аннотация
Представлены результаты по созданию методов управления математическим знанием в контексте цифровых математических библиотек. Программные инструменты, разработанные на основе этих методов, являются частью цифровой экосистемы OntoMath, в рамках которой осуществляется их взаимодействие. Приведено краткое описание архитектуры экосистемы OntoMath, выделены уровни предметных онтологий и внешних онтологий, а также уровень программных инструментов и сервисов. В отдельную категорию выделены семантические сервисы. Этим термином обозначены программные инструменты, в функционале которых используются запросы к предметным онтологиям для обеспечения управления объектами знаний. Даны общие описания разрабатываемых предметных онтологий: образовательной математической онтологии OntoMathEdu и онтологии профессиональной математики OntoMathPRO. Отражено развитие образовательной онтологии в направлении включения образовательных пререквизитных связей между классами. Среди программных инструментов цифровой экосистемы выделены сервисы поиска по математическим электронным коллекциям, сервис семантического аннотирования математических документов, инструменты семантической разметки образовательных математических документов, а также система автоматической генерации проверочных тестов по математическим образовательным дисциплинам.
В рамках цифровой экосистемы OntoMath развиваются рекомендательные системы специального назначения. В текущей версии экосистемы представлены рекомендательная система формирования списка близких статей, основанная на онтологии OntoMathPRO, рекомендательная система назначения экспертов для поддержки процесса научного рецензирования и рекомендательные системы подбора предметных классификаторов УДК и кодов Mathematics Subject Classification для математических документов. Приведены также результаты, полученные в направлении создания фабрики метаданных цифровой библиотеки, включающей сервисы и инструменты извлечения, уточнения, пополнения и нормализации метаданных документов электронных математических коллекций. Отметим, что экосистема OntoMath разрабатывается как технологическая основа цифровой математической библиотеки Lobachevskii-DML.
Article Details
Библиографические ссылки
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.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Представляя статьи для публикации в журнале «Электронные библиотеки», авторы автоматически дают согласие предоставить ограниченную лицензию на использование материалов Казанскому (Приволжскому) федеральному университету (КФУ) (разумеется, лишь в том случае, если статья будет принята к публикации). Это означает, что КФУ имеет право опубликовать статью в ближайшем выпуске журнала (на веб-сайте или в печатной форме), а также переиздавать эту статью на архивных компакт-дисках журнала или включить в ту или иную информационную систему или базу данных, производимую КФУ.
Все авторские материалы размещены в журнале «Электронные библиотеки» с ведома авторов. В случае, если у кого-либо из авторов есть возражения против публикации его материалов на данном сайте, материал может быть снят при условии уведомления редакции журнала в письменной форме.
Документы, изданные в журнале «Электронные библиотеки», защищены законодательством об авторских правах, и все авторские права сохраняются за авторами. Авторы самостоятельно следят за соблюдением своих прав на воспроизводство или перевод их работ, опубликованных в журнале. Если материал, опубликованный в журнале «Электронные библиотеки», с разрешения автора переиздается другим издателем или переводится на другой язык, то ссылка на оригинальную публикацию обязательна.
Передавая статьи для опубликования в журнале «Электронные библиотеки», авторы должны принимать в расчет, что публикации в интернете, с одной стороны, предоставляют уникальные возможности доступа к их материалам, но, с другой, являются новой формой обмена информацией в глобальном информационном обществе, где авторы и издатели пока не всегда обеспечены защитой от неправомочного копирования или иного использования материалов, защищенных авторским правом.
При использовании материалов из журнала обязательна ссылка на URL: http://rdl-journal.ru. Любые изменения, дополнения или редактирования авторского текста недопустимы. Копирование отдельных фрагментов статей из журнала разрешается для научных исследований, персонального использования, коммерческого использования до тех пор, пока есть ссылка на оригинальную статью.
Запросы на право переиздания или использования любых материалов, опубликованных в журнале «Электронные библиотеки», следует направлять главному редактору Елизарову А.М. по адресу: amelizarov@gmail.com
Издатели журнала «Электронные библиотеки» не несут ответственности за точки зрения, излагаемые в публикуемых авторских статьях.
Предлагаем авторам статей загрузить с этой страницы, подписать и выслать в адрес издателя журнала по электронной почте скан Авторского договора о передаче неисключительных прав на использование произведения.