Semantic Services of the Digital Ecosystem Ontomath for Mathematical Education
0 visualizações desta ficha 0 acessos ao texto completo Contagem real do Portal desde 25/09/2026; tráfego comum, sem testes; quem desativa o rastreamento no navegador não é contado.
Resumo
We present a set of semantic services developed by us to support the educational process in mathematics. The functionality of these services is based on the use of mathematical ontologies OntoMathEdu and OntoMathPRO. The ontology of professional mathematical knowledge OntoMathPRO is designed to classify and systematize the concepts of professional mathematics and includes several important areas of mathematics. Educational mathematical ontology OntoMathEdu systematically represents knowledge on the training course “Planimetry”. For the use of ontologies in educational applications, an approach to the design of prerequisite relations in these ontologies has been developed. To support mathematical education, we have developed: a service for semantic search by mathematical formulas, a service for semantic annotation of educational materials, a service for visualizing subgraphs of the OntoMathEdu ontology semantic network, a parallel formal/informal corpus of mathematical statements, a system for automatically generating test questions in mathematical disciplines. We provide examples of successful application of the developed software tools. The created software tools are built into the OntoMath digital ecosystem. This ecosystem implements the interaction of semantic services for managing mathematical knowledge.
Dados da obra
- Tipo
- Artigo
- Periódico
- Russian Digital Libraries Journal, v. 26, n. 4, p. 538-569
- Editora
- Kazan Federal University
- Ano
- 2023 (2023-09-28)
- Idioma
- en
- Palavras-chave
- semantic services; ontology of mathematics; mathematics education; planimetry; prerequisite relations; ontology visualization; knowledge management
- Temas
- Tecnologias Digitais
- DOI
- 10.26907/1562-5419-2023-26-4-538-569
- ISSN
- 1562-5419
- Licença
- cc-by
- Acesso
- Download disponível
- Fontes
- OpenAlex
- Na Biblioteca desde
- 01/10/2026 · verificada em 03/10/2026
Como citar
ABNT
NEVZOROVA, Olga Avenirovna; LIPACHEV, Evgeny Konstantinovich; NIKOLAEV, Konstantin Sergeevich. Semantic Services of the Digital Ecosystem Ontomath for Mathematical Education. Russian Digital Libraries Journal, v. 26, n. 4, p. 538-569, 2023. DOI: https://doi.org/10.26907/1562-5419-2023-26-4-538-569.
APA
Nevzorova, O. A., Lipachev, E. K., & Nikolaev, K. S. (2023). Semantic Services of the Digital Ecosystem Ontomath for Mathematical Education. Russian Digital Libraries Journal, 26(4), 538-569. https://doi.org/10.26907/1562-5419-2023-26-4-538-569
BibTeX
@article{nevzorova2023,
author = {Nevzorova, Olga Avenirovna and Lipachev, Evgeny Konstantinovich and Nikolaev, Konstantin Sergeevich},
title = {Semantic Services of the Digital Ecosystem Ontomath for Mathematical Education},
year = {2023},
journal = {Russian Digital Libraries Journal},
volume = {26},
number = {4},
pages = {538-569},
publisher = {Kazan Federal University},
doi = {10.26907/1562-5419-2023-26-4-538-569},
language = {en}
}RIS
TY - JOUR AU - Nevzorova, Olga Avenirovna AU - Lipachev, Evgeny Konstantinovich AU - Nikolaev, Konstantin Sergeevich TI - Semantic Services of the Digital Ecosystem Ontomath for Mathematical Education PY - 2023 JO - Russian Digital Libraries Journal VL - 26 IS - 4 SP - 538 EP - 569 DO - 10.26907/1562-5419-2023-26-4-538-569 LA - en ER -
Referência gerada automaticamente a partir dos metadados das fontes; confira com o documento original. Baixar BibTeX · Baixar RIS
Obras relacionadas
Obras do acervo corrente com mais temas em comum.
-
TPACK na educação matemática: um panorama a partir de uma revisão sistemática de literatura de 2006 a 2024
Alexandria, v. 19 · DOI 10.5007/1982-5153.2026.e106746
Download disponível Baixar PDF na fonte: TPACK na educação matemática: um panorama a partir de uma revisão sistemática de literatura de 2006 a 2024 (abre em nova aba) Acessar texto completo: TPACK na educação matemática: um panorama a partir de uma revisão sistemática de literatura de 2006 a 2024 (abre em nova aba) -
Developing Pre-service Teachers’ Transversal Science, Technology, Engineering, and Mathematics Competencies through Structured Educational Psychology: Evidence from a Module Implementation in Türkiye
Science Education International, v. 37, n. 3 · DOI 10.33828/sei.v37.i3.4
-
ETNOMATEMÁTICA E INFORMÁTICA NA EDUCAÇÃO SUPERIOR DO INTERIOR DO AMAZONAS: UMA REVISÃO BIBLIOGRÁFICA SOBRE ARTICULAÇÕES PEDAGÓGICAS, TERRITORIALIDADES E INCLUSÃO DIGITAL
Revista Tópicos, v. 4, n. 36 · DOI 10.70773/revistatopicos/786388103
Download disponível Baixar PDF na fonte: ETNOMATEMÁTICA E INFORMÁTICA NA EDUCAÇÃO SUPERIOR DO INTERIOR DO AMAZONAS: UMA REVISÃO BIBLIOGRÁFICA SOBRE ARTICULAÇÕES PEDAGÓGICAS, TERRITORIALIDADES E INCLUSÃO DIGITAL (abre em nova aba) Acessar texto completo: ETNOMATEMÁTICA E INFORMÁTICA NA EDUCAÇÃO SUPERIOR DO INTERIOR DO AMAZONAS: UMA REVISÃO BIBLIOGRÁFICA SOBRE ARTICULAÇÕES PEDAGÓGICAS, TERRITORIALIDADES E INCLUSÃO DIGITAL (abre em nova aba) -
Trabalhando com projetos em contexto de Educação Matemática Crítica e Etnomatemática: explorando as tranças Nagô e conteúdos do Ensino Médio
Revista Eletrônica de Educação Matemática, v. 21 · DOI 10.5007/1981-1322.2026.e104316
Download disponível Baixar PDF na fonte: Trabalhando com projetos em contexto de Educação Matemática Crítica e Etnomatemática: explorando as tranças Nagô e conteúdos do Ensino Médio (abre em nova aba) Acessar texto completo: Trabalhando com projetos em contexto de Educação Matemática Crítica e Etnomatemática: explorando as tranças Nagô e conteúdos do Ensino Médio (abre em nova aba) -
Tinkercad na educação matemática
Revista da FAEEBA- Educação e Contemporaneidade, v. 34, n. 80 · DOI 10.21879/faeeba2358-0194.2025.v34.n80.p271-287