Abstract
This article is devoted to the tasks of ontological engineering in the field of school education. Based on the proposed approach to ontology design in the field of school mathematics, the OntoMathEdu educational multilingual mathematical ontology has been developed for the school planimetry course. The features of the organization of educational ontologies that reflect the specifics of subject education in different countries, including the consideration of teaching methods and the language of study, are considered. The specific features of the organization of the subject area make it possible to take into account, among other things, the level of training of students. To solve these problems, a new structure for organizing ontologies with educational projections, educational levels, and prerequisites is proposed.
Similar content being viewed by others
REFERENCES
A. Barana, L. Di Caro, M. Fioravera, M. Marchisio, and S. Rabellino, “Ontology development for competence assessment in virtual communities of practice,” in Artificial Intelligence in Education, Ed. by C. Penstein Rosé , Lecture Notes in Computer Science, Vol. 10948 (Springer, Cham, 2018), pp. 94–98. https://doi.org/10.1007/978-3-319-93846-2_18
S. Borgo and C. Masolo, “Ontological Foundations of DOLCE,” in Theory and Applications of Ontology: Computer Applications, Ed. by R. Poli, M. Healy, and A. Kameas (Springer, Dordrecht, 2010), pp. 279–295. https://doi.org/10.1007/978-90-481-8847-5_13
M. D’aquin, “On the use of linked open data in education: Current and future practices,” in Open Data for Education, Ed. by D. Mouromtsev and M. D’Aquin, Lecture Notes in Computer Science, Vol. 9500 (Springer, Cham, 2016), pp. 3–15. https://doi.org/10.1007/978-3-319-30493-9_1
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, and T. Wiesing, “Interoperability in the OpenDreamKit project: The math-in-the-middle approach,” in Intelligent Computer Mathematics, Ed. by M. Kohlhase, M. Johansson, B. Miller, L. de Moura, and F. Tompa, Lecture Notes in Computer Science, Vol. 9791 (Springer, Cham, 2016), pp. 117–131. https://doi.org/10.1007/978-3-319-42547-4_9
A. M. Elizarov, A. B. Zhizhchenko, N. G. Zhil’tsov, A. K. Kirillovich, and E. K. Lipachev, “Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics,” Dokl. Math. 93, 231–233 (2016). https://doi.org/10.1134/s1064562416020174
N. Guarino, D. Oberle, and S. Staab, “What is an ontology?,” in Handbook on Ontologies, Ed. by S. Staab and R. Studer, 2nd ed., International Handbooks on Information Systems (Springer, New York, 2009), pp. 1–17. https://doi.org/10.1007/978-3-540-92673-3_0
G. Guizzardi, “Ontological foundations for structural conceptual models,” PhD Thesis (Univ. of Twente, Enschede, 2005).
A. Kirillovich, O. Nevzorova, M. Falileeva, E. Lipachev, and L. Shakirova, “OntoMathEdu: Towards an educational mathematical ontology,” CEUR Workshop Proc. 2634, 1–10 (2020) https://ceur-ws.org/Vol-2634/WiP1.pdf.
A. Kirillovich, O. Nevzorova, M. Falileeva, E. Lipachev, and L. Shakirova, “OntoMathEdu: A linguistically grounded educational mathematical ontology,” in Intelligent Computer Mathematics, Ed. by C. Benzmüller and B. Miller, Lecture Notes in Computer Science, Vol. 12236 (Springer, Cham, 2020), pp. 157–172. https://doi.org/10.1007/978-3-030-53518-6_10
A. Kirillovich, M. Falileeva, O. Nevzorova, E. Lipachev, A. Dyupina, and L. Shakirova, “Prerequisite relationships of the OntoMathEdu educational mathematical ontology,” in Applied Computer Science in Engineering, Ed. by J. C. Figueroa-García et al., Communications in Computer and Information Science, Vol. 1431 (Springer, Cham, 2021), pp. 517–524. https://doi.org/10.1007/978-3-030-86702-7_44
A. A. Muromskii and N. P. Tuchkova, “Representation of mathematical concepts in the ontology of scientific knowledge,” Ontologiya Proektirovaniya 9 (1), 50–69 (2019). https://doi.org/10.18287/2223-9537-2019-9-1-50-69
D. I. Muromtsev, “Models and methods of e-learning individualization in the context of ontological approach,” Ontologiya Proektirovaniya 10 (1), 34–49 (2020). https://doi.org/10.18287/2223-9537-2020-10-1-34-49
D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, and F. Rabe, “Classification of alignments between concepts of formal mathematical systems,” in Intelligent Computer Mathematics, Ed. by H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke, Lecture Notes in Computer Science, Vol. 10383 (Springer, Cham, 2017), pp. 83–98. https://doi.org/10.1007/978-3-319-62075-6_7
O. A. Nevzorova, N. Zhiltsov, A. Kirillovich, and E. Lipachev, “OntoMathPRO ontology: A linked data hub for mathematics,” in Knowledge Engineering and the Semantic Web, Ed. by P. Klinov and D. Mouromstev, Communications in Computer and Information Science, Vol. 468 (Springer, 2014), pp. 105–119. https://doi.org/10.1007/978-3-319-11716-4_9
G. Paquette, O. Marino, and R. Bejaoui, “A new competency ontology for learning environments personalization,” Smart Learn. Environ. 8, 1–23 (2021). https://doi.org/10.1186/s40561-021-00160-z
C. K. Pereira, S. W. Siqueira, B. P. Nunes, and S. Dietze, “Linked data in education: A survey and a synthesis of actual research and future challenges,” IEEE Trans. Learn. Technol. 11, 400–412 (2018). https://doi.org/10.1109/tlt.2017.2787659
D. Tzoumpa, T. Karvounidis, and C. Douligeris, “Circle’s ontology extended: Circumference and surface area of a circle,” in The Challenges of the Digital Transformation in Education, Ed. by M. E. Auer and T. Tsiatsos, Advances in Intelligent Systems and Computing, Vol. 916 (Springer, Cham, 2020), pp. 120–132. https://doi.org/10.1007/978-3-030-11932-4_12
Funding
This work was carried out by O. Nevzorova, M. Falileeva, E. Lipachev, L. Shakirova, and A. Dyupina at KFU and funded by the Russian Foundation for Basic Research, project no. 19-29-14084. The ontological model underlying this work had been developed by A. Kirillovich at JSC RAS.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
Ol’ga Avenirovna Nevzorova, Candidate of Technical Sciences, Associate Professor in the Department of Information Systems, Institute of Computational Mathematics and Information Technologies, Kazan Federal University.
Marina Viktorovna Falileeva, Candidate of Pedagogical Sciences, Associate Professor in the Department of Theory and Technologies of Teaching Mathematics and Informatics, Kazan Federal University, Kazan.
Aleksander Vital’yevich Kirillovich, PhD in Computer Science, worked as a researcher at Kazan Federal University and Joint Supercomputing Center of the Russian Academy of Science.
Evgenii Konstantinovich Lipachev, Candidate of Physical and Mathematical Sciences, Associate Professor in the Department of Intelligent Search Technologies, Institute of Information Technologies and Intelligent Systems, Kazan Federal University.
Liliana Rafikovna Shakirova, Dr. Sci. in Pedagogical Sciences, Professor, Head of the Department of Theory and Technology of Teaching Mathematics and Informatics, Kazan Federal University.
Anastasiya Eduardovna Dyupina, Master of Mathematics, Lobachevskii Institute of Mathematics and Mechanics, Kazan Federal University.
Translated by L.A. Solovyova
Rights and permissions
About this article
Cite this article
Nevzorova, O.A., Falileeva, M.V., Kirillovich, A.V. et al. OntoMathEdu Educational Ontology: Problems of Ontological Engineering. Pattern Recognit. Image Anal. 33, 460–466 (2023). https://doi.org/10.1134/S1054661823030367
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1054661823030367