New components of the OntoMathPRO ontology for representing math knowledge-Reference-Cited by-同舟云学术

New components of the OntoMathPRO ontology for representing math knowledge

Published:2023 Issue: Volume: Page:
ISSN:2618-9542
Container-title:Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”
language:
Short-container-title:

Author:

Elizarov Aleksandr Mikhajlovich¹²^ORCID,Kirillovich Alexander Vitalevich²^ORCID,Lipachev Evgeny Konstantinovich¹^ORCID,Nevzoova Olga Avenirovna^ORCID

Affiliation:

1. N. I. Lobachevskii Institute of Mathematics and Mechanics KFU

2. Joint Supercomputer Center of the Russian Academy of Sciences in Kazan

Abstract

A new version of the ontology of professional mathematical knowledge OntoMathPRO is presented. This ontology is a conceptual model of the main branches of mathematics. The new version of the ontology introduces materialized relationships between concepts. To do this, ontology concepts are additionally divided into types and roles. Concepts-roles act as arguments of materialized relations. Also, one of the features of the new version of the ontology is the inclusion of multilingual lexicons for expressing mathematical concepts in natural language texts. The introduction of prerequisite relationships between ontology classes has expanded the possibilities of creating educational mathematical applications. Some important applications of the OntoMathPRO ontology in various fields of knowledge are indicated.

Publisher

Keldysh Institute of Applied Mathematics

Reference22 articles.

1. Каленов Н.Е., Сотников А.Н. О структуре онтологии Единого цифрового пространства научных знаний // Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19–22 сентября 2022 г., онлайн). – М.: ИПМ им. М.В. Келдыша, 2022. – С. 203–221. https://doi.org/10.20948/abrau-2022-23. https://keldysh.ru/abrau/2022/theses/23.pdf

2. Ataeva O., Kalenov N., Serebryakov V., Sotnikov A. Informational Infrastructure of the Common Digital Space of Scientific Knowledge // CEUR Workshop Proceedings. 2021. V. 2990. P. 1–10. URL: https://ceur-ws.org/Vol-2990/rpaper1.pdf

3. Атаева О.М., Серебряков В.А., Тучкова Н.П. Опыт построения онтологии для предметной области на основе контента тематического журнала // Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19–22 сентября 2022 г., онлайн). – М.: ИПМ им. М.В. Келдыша, 2022. С. 52–68. https://doi.org/10.20948/abrau-2022-35. https://keldysh.ru/abrau/2022/theses/35.pdf

4. Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Онтология математического знания OntoMathPRO // Доклады Российской академии наук. Математика, информатика, процессы управления. 2022. Т. 507. № 1. С. 29–35. https://doi.org/10.31857/S2686954322700011

5. Elizarov A., Lipachev E. Digital Libraries and the Common Digital Space of Mathematical Knowledge // CEUR Workshop Proceedings. 2021. V. 2990. P. 25–38. URL: https://ceur-ws.org/Vol-2990/rpaper3.pdf