KFU. Card publication. Enriching the Structure of the OntoMathPRO Ontology for Representing Math Knowledge

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ENRICHING THE STRUCTURE OF THE ONTOMATHPRO ONTOLOGY FOR REPRESENTING MATH KNOWLEDGE

Form of presentation

Articles in international journals and collections

Year of publication

2023

��

��

Authors, employees of KFU

Elizarov Aleksandr Mikhaylovich, author

Lipachev Evgeniy Konstantinovich, author

Nevzorova Olga Avenirovna, author

Other authors

Kirilllovich Aleksandr Vitalevich, author

Bibliographic description in the original language

Nevzorova O.A., Kirillovich A.V., Lipachev E.K., Elizarov A.M. Enriching the Structure of the OntoMathPRO Ontology for Representing Math Knowledge // Luis Gómez Chova et al. (Eds.). Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023), Seville, Spain, 13–15 November 2023. IATED, 2023. P. 8860–8866. https://doi.org/10.21125/iceri.2023.2257

Annotation

Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023)

Keywords

Mathematical knowledge, ontology, prerequisite, educational system

The name of the journal

Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023)

URL

https://library.iated.org/view/NEVZOROVA2023ENR

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=319354&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Elizarov Aleksandr Mikhaylovich	ru_RU
dc.contributor.author	Lipachev Evgeniy Konstantinovich	ru_RU
dc.contributor.author	Nevzorova Olga Avenirovna	ru_RU
dc.contributor.author	Kirilllovich Aleksandr Vitalevich	ru_RU
dc.date.accessioned	2023-01-01T00:00:00Z	ru_RU
dc.date.available	2023-01-01T00:00:00Z	ru_RU
dc.date.issued	2023	ru_RU
dc.identifier.citation	Nevzorova O.A., Kirillovich A.V., Lipachev E.K., Elizarov A.M. Enriching the Structure of the OntoMathPRO Ontology for Representing Math Knowledge // Luis Gómez Chova et al. (Eds.). Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023), Seville, Spain, 13–15 November 2023. IATED, 2023. P. 8860–8866. https://doi.org/10.21125/iceri.2023.2257	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=319354&p_lang=2	ru_RU
dc.description.abstract	Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023)	ru_RU
dc.description.abstract	Developing and using domain ontologies is a part of the project directed on creating a single large space of scientific knowledge. The using domain ontologies contributes to solving the important problem of building recommender systems as components of information platforms for decision support system. The using ontologies in teaching educational systems, in particular, to control mathematical knowledge, is another important goal of building mathematical ontologies. The importance of projects on the application of semantic technologies in mathematics in accordance with the principles of Linked Open Data (LOD, https://lod-cloud.net/) has been noted in various studies. Today, on the basis of OntoMathPRO ontology, semantic services for managing mathematical knowledge have already been designed. These services are included in the OntoMath digital ecosystem, within which software tools for the formation of electronic mathematical collections are developed. We also note that the first version of the ontology of professional mathematical knowledge OntoMathPRO has applied in projects for designing other domain ontologies, building platforms for scientific search and systems for assessing the quality of knowledge. The implemented practical applications of the OntoMathPRO ontology revealed a number of limitations of its existing version and made it possible to formulate goals for further development. In the new version of the ontology, a number of modern fields of mathematics are formalized, new types of relationships between concepts are introduced, such as prerequisites, which are necessary to create educational services. The sections «Ordinary differential equations« and «Partial differential equations« are formalized. This allows using this knowledge base for educational purposes. 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. The developed software tools make it possible to design new intelligent services for managing mathematical knowledge and form a single digital space of mathematical knowledge based on extended representation formalisms.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Mathematical knowledge	ru_RU
dc.subject	ontology	ru_RU
dc.subject	prerequisite	ru_RU
dc.subject	educational system	ru_RU
dc.title	Enriching the Structure of the OntoMathPRO Ontology for Representing Math Knowledge	ru_RU
dc.type	Articles in international journals and collections	ru_RU