2023
-
Nevzorova O.A., Falileeva M.V., Kirillovich A.V., Lipachev E.K., Shakirova L.R., Dyupina A.E.
OntoMathEdu Educational Ontology: Problems of Ontological Engineering // Pattern Recognition and Image Analysis. 2023. 33(3). P. 460–466.
DOI: 10.1134/S1054661823030367. URL: https://www.webofscience.com/wos/woscc/full-record/WOS:001075049100034
F_PatRec3_23_authorsvers.pdf
2022
-
Elizarov A.M, Kirillovich A.V, Lipachev E.K, Nevzorova O.A. OntoMath(PRO): Ontology of Mathematical Knowledge // DOKLADY MATHEMATICS. - 2022. - Vol.106, Is.3. - P.429-435. doi: 10.1134/S1064562422700016.
S1064562422700016.pdf
2021
-
Фалилеева, М. В., Кириллович, А. В. ., Hевзорова О. А., Шакирова, Л. Р., Липачёв, Е. К., Дюпина, А. Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu. Электронные библиотеки, 2021, 24(3), 505-530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530
691_Tekst_stati_1069_1_10_20210711.pdf
2020
-
Falileeva M.: OntoMathEdu Educational Mathematical Ontology: Prerequisites, Educational Levels and Educational Projections/ M. Falileeva, A. Kirillovich, L. Shakirova, O. Nevzorova, E. Lipachev, A. Dyupina // CEUR Workshop Proceedings, 2020, vol. 2784, p.346-351
spaper07__3_.pdf -
Kirillovich, A.: OntoMathEdu: Towards an Educational Mathematical Ontology/ A. Kirillovich, O. Nevzorova, M. Falileeva, E. Lipachev, L. Shakirova // CEUR Workshop Proceedings, 2020. V. 2634. P. 1-10. http://ceur-ws.org/Vol-2634/WiP1.pdf.
F_OntoMathEdu_Towards_an_Educational_Mathematical_Ontology.pdf
2019
-
Liliana Shakirova, Marina Falileeva, Alexander Kirillovich and Eugeny Lipachev. Problems and Solutions in the Design of Formal Taxonomy of Concepts of Geometry // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6793-6801
- Свидетельство о государственной регистрации базы данных № 2019622208 Онтология образовательной математики «OntoMathEdu». Заявитель и правообладатель ФГАОУ ВО КФУ (RU). Авторы: Кириллович А.В., Липачев Е.К., Невзорова О.А., Фалилеева М.В., Шакирова Л.Р. Заявка № 2019622124, дата поступления 19.11.2019. Дата государственной регистрации в реестре баз данных 28.11.2019.
-
Шакирова Л.Р., Фалилеева М.В., Кириллович А.В., Липачев Е.К., Невзорова О.А.,Невзоров В.Н. Образовательная математическая онтология OntoMathEdu: структура и отношения // Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). — М.: ИПМим. М.В.Келдыша, 2019. - С. 653-661. - URL: http://keldysh.ru/abrau/2019/theses/84.pdfdoi:10.20948/abrau-2019-84
-
Alexander Kirillovich, Liliana Shakirova, Marina Falileeva and Eugeny Lipachev. Towards an Educational Mathematical Ontology // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6823-6829
2018
-
Alexander Kirillovich and Olga Nevzorova. Ontological Analysis of the Wikipedia Category System // David Aveiro, Jan Dietz, Joaquim Filipe (eds). Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018). Seville, Spain, 18-20 September, 2018. Volume 2: KEOD. SCITEPRESS, 2018. Pp. 358-366
-
Olga Nevzorova, Alexander Kirillovich, Vladimir Nevzorov, Konstantin Nikolaev. The Semantic Context Models of Mathematical Formulas in Scientific Papers // Leonid Kalinichenko, et al. (eds). Selected Papers of the XX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2018). CEUR Workshop Proceedings, vol. 2277. CEUR-WS.org, 2018. Pp. 33-40
- ОНТОЛОГИЧЕСКАЯ МОДЕЛЬ ONTOMATHEDU В ПРОВЕРКЕ МАТЕМАТИЧЕСКИХ ЗНАНИЙ ОБУЧАЮЩИХСЯ / Л.Р.Шакирова, М.В. Фалилееа, А.В. Кириллович, Е.К. Липачев, О.А. Невзорова, Ш.М. Хайдаров, А.Э. Дюпина, С.Р. Мухамедвалиева С.Р., К.Р. Галиаскарова // Научно-техническая конференция по итогам совместного конкурса фундаментальныъх исследований РФФИ - РТ: сб. докладов региональной научно-технической конференции. - Казань: Изд-во АН РТ, 2018. - С.617-621.
- Шакирова Л.Р., Фалилеева М.В., Кириллович А.В., Липачев Е.К. Проектирование образовательной математической онтологии: проблемы и методы решения на примере курса планиметрии // XV Международная конференция по компьютерной и когнитивной лингвистике TEL 2018. Сборник трудов: в 2-х томах. Т. 1. – Казань: Изд.-во АН РТ, 2018. – С. 393-405
-
Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., Shakirova L.R. Open linked data and ontologies in mathematics education (Открытые связанные данные и онтологии в математическом образовании) // V. Voevodin, et al (eds). Proceedings of the 20th Conference Scientific Services & Internet (SSI-2018). CEUR Workshop Proceedings, vol. 2260. CEUR-WS, 2018. Pp. 186-196
2017
- Галиева А.М., Кириллович А.В., Лукашевич Н.В., Невзорова О.А., Сулейманов Д.Ш. Создание русско-татарского тезауруса по общественно-политической тематике: общие принципы и аспекты реализации // Научно-техническая информация. Серия 2: Информационные процессы и системы. — 2017. — № 2 — С. 20-28.
-
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management // Kalinichenko L., Kuznetsov S., Manolopoulos Y. (eds). XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). Communications in Computer and Information Science, vol 706. Springer, Cham, 2017. Pp. 33-46
-
Alexander Kirillovich, Olga Nevzorova, Emil Gimadiev, Natalia Loukachevitch. RuThes Cloud: Towards a Multilevel Linguistic Linked Open Data Resource for Russian // Przemysław Różewski, Christoph Lange (eds.) Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017). Communications in Computer and Information Science, vol 786. Springer, 2017. Pp. 38-52
- Elizarov A., Kirillovich A., Lipachev E., Nevzorova O. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management // Communications in Computer and Information Science, vol 706. Springer, Cham, 2017. P. 33–46
-
Olga Nevzorova, Vladimir Nevzorov, Alexander Kirillovich. A Syntactic Method of Extracting Terms from Special Texts for Replenishing Domain Ontologies // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 127-131
-
Alfiya Galieva, Alexander Kirillovich, Bulat Khakimov, Natalia Loukachevitch, Olga Nevzorova, Dzhavdet Suleymanov. Toward Domain-Specific Russian-Tatar Thesaurus Construction // Proceedings of the International Conference IMS-2017. ACM, 2017
-
Alexander Elizarov, Alexander Kirillovich, Evenvgeny Lipachev, Olga Nevzorova. Semantic Formula Search in Digital Mathematical Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 39-43. DOI: 10.1109/RPC.2017.8168063.
2016
-
Елизаров А.М. Экосистема ONTOMATH и проект Всемирной цифровой математической библиотеки / А.М. Елизаров, Н.Г. Жильцов, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Труды международной конференции по компьютерной и когнитивной лингвистике TEL-2016. – Казань: Изд-во Казан. ун-та, 2016. – С. 25–28.
1_7_PDF_proceedings.pdf -
Елизаров А.М. Онтологии математического знания и рекомендательная система для коллекций физико-математических документов / А. М. Елизаров, А.Б. Жижченко, Н. Г. Жильцов, А. В. Кириллович, Е. К. Липачёв // Доклады РАН. - 2016. - Т. 467. - № 4. – С. 392–395.
Paper_EZhZhKL_pre.pdf -
Alexander M. Elizarov, Alexander V. Kirilovich, Evgeny K. Lipachev, Olga A. Nevzorova. Mathematical Knowledge Management: Ontological Models and Digital Technology // Leonid Kalinichenko, et al. (eds). Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). CEUR Workshop Proceedings, vol. 1752, pp. 44–50. CEUR-WS, 2016
paper08.pdf -
Елизаров А.М. Управление математическими знаниями: онтологические модели и цифровые технологии / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Аналитика и управление данными в областях с интенсивным использованием данных: сборник статей XVIII Междун. конф. DAMDID/RCDL'2016 . - М.: ФИЦ ИУ РАН, 2016. - С.95-101.
DAMDID_Elizarov_all.pdf -
Elizarov A.M. Mathematical Knowledge Ontologies and Recommender Systems for Collections of Documents in Physics and Mathematics / A.M. Elizarov, A.V. Kirillovich, E.K. Lipachev, A.B. Zhizhchenko, N.G. Zhil'tsovc, // Doklady Mathematics. - 2016. - Vol. 93. - №. 2. - P. 1–3.
Paper_EZhZhKL_engl.pdf
2015
-
Елизаров А.М. Семантический рекомендательный сервис в профессиональной деятельности математика / А.М. Елизаров, Н.Г. Жильцов, В.В. Иванов, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Ученые записки ИСГЗ. 2015. № 1. С. 190-197.
elizarov_zhiltsov.pdf -
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Терминологическое аннотирование и рекомендательный сервис в системе управления физико-математическим контентом // Труды XVII Международной конференции DAMDID/RCDL'2015 «Аналитика и управление данными в областях с интенсивным использованием данных» . – Обнинск: ИАТЭ НИЯУ МИФИ, 2015. С.357-350.
damdid2015_paper_Elizarov_new.pdf -
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Семантическое аннотирование в системе управления физико-математическим контентом // Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2015. - С.98-103.
Elizarov_at_all_.pdf
2014
-
Alexander M. Elizarov, Alexander V. Kirillovich, Evgeny K. Lipachev, Olga A. Nevzorova, Valery D. Solovyev, Nikita G. Zhiltsov. Mathematical knowledge representation: semantic models and formalisms //
Lobachevskii Journal of Mathematics, October 2014, Vol. 35, No. 4. Pleiades Publishing, 2014. Pp. 348–354
Mathematical_knowledge_representation_LJM2014.pdf -
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich, Evgeny Lipachev. OntoMathPRO Ontology: A Linked Data Hub for Mathematics // Pavel Klinov, Dmitry Mouromstev (eds.) Proceedings of the 5th International Conference on Knowledge Engineering and Semantic Web (KESW 2014). Communications in Computer and Information Science, vol. 468. Springer, Cham, 2014. Pp. 105–119
F_OntoMathPro_ontology_KESW2014.pdf - А.В. Кириллович. Висячая пунктуация в web-типографике // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2014 (Казань, 6-9 февраля 2014г.). Вып.16. Интеллект. Язык. Компьютер. КФУ, АН РТ НИИ "Прикладная семиотика". Казан:изд-во "ФЕН", 2014
-
Елизаров А.М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К., Невзорова О.А., Соловьев В.Д.
Онтологии математических знаний и их применение в науке и образовании // Материалы международной научно-практической конференции «Информационные технологии в образовании и науке (ИТОН – 2014)», 10-13 декабря 2014. –Казань, изд-во ФОЛИАНТ, 2014. – С.60-64.
2013
- Невзорова О.А., Кириллович А.В. Технологии связывания данных в пространстве Открытых данных на примере математической коллекции // В.В. Голенков и др. (ред). Материалы II Международной научно-технической конференции «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2013). БГУИР, 2013. C. 91-96.
-
Olga Nevzorova, Nikita Zhiltsov, Danila Zaikin, Olga Zhibrik, Alexander Kirillovich, Vladimir Nevzorov, Evgeniy Birialtsev. 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). Lecture Notes in Computer Science, vol. 8218. Springer Berlin Heidelberg, 2013. Pp. 379-394.
2012
2006
