KFU. Card publication. Towards an Educational Mathematical Ontology

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

TOWARDS AN EDUCATIONAL MATHEMATICAL ONTOLOGY

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2019

Язык

английский

Authors, employees of KFU

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. Gó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. Gó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