| Форма представления | Тезисы и материалы конференций в зарубежных журналах и сборниках |
| Год публикации | 2019 |
| Язык | английский |
|
Кириллович Александр Витальевич, автор
Липачев Евгений Константинович, автор
Фалилеева Марина Викторовна, автор
Шакирова Лилиана Рафиковна, автор
|
| Библиографическое описание на языке оригинала |
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 |
| Аннотация |
Proceedings of the 13th International Technology, Education and Development Conference (INTED2019) |
| Ключевые слова |
Ontology, Mathematical education, Geometry, Plane geometry, OntoMathEdu |
| Название журнала |
Proceedings of the 13th International Technology, Education and Development Conference (INTED2019)
|
| URL |
https://library.iated.org/view/KIRILLOVICH2019TOW |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=197882 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Кириллович Александр Витальевич |
ru_RU |
| dc.contributor.author |
Липачев Евгений Константинович |
ru_RU |
| dc.contributor.author |
Фалилеева Марина Викторовна |
ru_RU |
| dc.contributor.author |
Шакирова Лилиана Рафиковна |
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/?p_id=197882 |
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 |
Тезисы и материалы конференций в зарубежных журналах и сборниках |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
