| Форма представления | Статьи в зарубежных журналах и сборниках |
| Год публикации | 2023 |
| Язык | английский |
|
Елизаров Александр Михайлович, автор
Липачев Евгений Константинович, автор
Невзорова Ольга Авенировна, автор
|
|
Кирилллович Александр Витальевич, автор
|
| Библиографическое описание на языке оригинала |
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 |
| Аннотация |
Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023) |
| Ключевые слова |
Mathematical knowledge, ontology, prerequisite, educational system |
| Название журнала |
Proceedings of the 16th annual International Conference of Education, Research and Innovation (ICERI 2023)
|
| URL |
https://library.iated.org/view/NEVZOROVA2023ENR |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=319354 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Елизаров Александр Михайлович |
ru_RU |
| dc.contributor.author |
Липачев Евгений Константинович |
ru_RU |
| dc.contributor.author |
Невзорова Ольга Авенировна |
ru_RU |
| dc.contributor.author |
Кирилллович Александр Витальевич |
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/?p_id=319354 |
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 |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
