Form of presentation | Conference proceedings in international journals and collections |
Year of publication | 2019 |
Язык | английский |
|
Kirillovich Aleksandr Vitalevich, author
Lipachev Evgeniy Konstantinovich, author
Falileeva Marina Viktorovna, author
Shakirova Liliana Rafikovna, author
|
Bibliographic description in the original language |
Alexander Kirillovich, Liliana Shakirova, Marina Falileeva and Eugeny Lipachev. Towards an Educational Mathematical Ontology // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6823-6829 |
Annotation |
Proceedings of the 13th International Technology, Education and Development Conference (INTED2019) |
Keywords |
Ontology, Mathematical education, Geometry, Plane geometry, OntoMathEdu |
The name of the journal |
Proceedings of the 13th International Technology, Education and Development Conference (INTED2019)
|
URL |
https://library.iated.org/view/KIRILLOVICH2019TOW |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=197882&p_lang=2 |
Full metadata record |
Field DC |
Value |
Language |
dc.contributor.author |
Kirillovich Aleksandr Vitalevich |
ru_RU |
dc.contributor.author |
Lipachev Evgeniy Konstantinovich |
ru_RU |
dc.contributor.author |
Falileeva Marina Viktorovna |
ru_RU |
dc.contributor.author |
Shakirova Liliana Rafikovna |
ru_RU |
dc.date.accessioned |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2019 |
ru_RU |
dc.identifier.citation |
Alexander Kirillovich, Liliana Shakirova, Marina Falileeva and Eugeny Lipachev. Towards an Educational Mathematical Ontology // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6823-6829 |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=197882&p_lang=2 |
ru_RU |
dc.description.abstract |
Proceedings of the 13th International Technology, Education and Development Conference (INTED2019) |
ru_RU |
dc.description.abstract |
This paper is dedicated to the development of a new educational mathematical ontology OntoMathEdu. The ontology is a central component of the digital educational platform under development, and is intended for solving such tasks as: automatic knowledge testing; automatic recommendation of educational materials; semantic annotation of educational texts.
Currently, the ontology covers Euclidean plane geometry only.
In developing this ontology, we draw on our experience in developing the ontology of professional mathematics OntoMathPro. At the same time, the ontology of OntoMathEdu is focused on the educational process, and has the following differences from the ontology of professional mathematics:
1. name of concepts;
2. choice of concepts;
3. conceptualization;
4. the presence of didactic relations between concepts;
5. the presence of points of view.
Ontology OntoMathEdu consists of the following modules: a type hierarchy; a hierarchy of reified relationships; a role hierarchy; and a network of points of view.
The basic ontology hierarchy is a type hierarchy. A type is a concept that is rigid and ontologically independent. So, for example, the concept of “Triangle” is a type, because any triangle is always a triangle, regardless of its relationship with other figures. The top level of the type hierarchy consists of the following concepts: “Plane figure”, “Euclidean plane geometry axiom”; “Euclidean plane geometry theorem”; “Euclidean plane geometry problem”; “Unit of measurement”; “Measurement and construction tool”.
Relations between concepts are represented in ontology in the reified form, i.e. as ontological concepts, not as ontological properties. This, the relationships between concepts are first-order entities, and can be a subject of a statement. The top level of the hierarchy of reified relationships consists of the following concepts: “Plane transformation”, “Metric property of a plane figure”, “Comparison relation between plane figures”, “Arrangement of plane figures”.
A role is a concept that is non-rigid and ontologically dependent. An object can be an instance of a role only by virtue of its relationship with another object. So, for example, the concept “vertex of triangle” is a role, since a point is a vertex not by itself, but only in relation to a certain triangle.
In addition to universal statements, an ontology contains statements relativized to particular points of view. Points of view are represented using the “Descriptions and Situations” design pattern, and are based on the top-level ontology DOLCE + DnS Ultralite. Currently, there are the following types of point of view: definitions and educational levels.
The ontology contains the following relationships: the part-whole relationship; “determined by” relationship; the relation of ontological dependence that binds a role concept to its dependee concept; the “theorem-property” relation. |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
Ontology |
ru_RU |
dc.subject |
Mathematical education |
ru_RU |
dc.subject |
Geometry |
ru_RU |
dc.subject |
Plane geometry |
ru_RU |
dc.subject |
OntoMathEdu |
ru_RU |
dc.title |
Towards an Educational Mathematical Ontology |
ru_RU |
dc.type |
Conference proceedings in international journals and collections |
ru_RU |
|