title: ÐÐ²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð¿Ð¾ Ð´Ð¸ÑÐºÑÐµÑÐ½Ð¾Ð¹ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐµ Ð² ÑÑÐµÐ±Ð½Ð¾Ð¼ Ð¿ÑÐ¾ÑÐµÑÑÐµ
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Automation of ontologies in discrete mathematics in the educational process
Creators: name: ÐÐ¾ÑÐºÐ°ÑÐµÐ², ÐÐ»ÑÑ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2022
Subjects: Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ñ
ÑÐ¾ÑÐ¼Ð°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð·Ð½Ð°Ð½Ð¸Ð¹
ÑÐ¸ÑÑÐµÐ¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ Ð·Ð½Ð°Ð½Ð¸Ð¹
Ð´Ð¸ÑÐºÑÐµÑÐ½Ð°Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ°
uml
ontology
formalization of knowledge
systematization of knowledge
discrete mathematics

description: Ð¢ÐµÐ¼Ð° Ð²ÑÐ¿ÑÑÐºÐ½Ð¾Ð¹ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â«ÐÐ²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð¿Ð¾ Ð´Ð¸ÑÐºÑÐµÑÐ½Ð¾Ð¹ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐµ Ð² ÑÑÐµÐ±Ð½Ð¾Ð¼ Ð¿ÑÐ¾ÑÐµÑÑÐµÂ». ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¾Ð¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð¸ ÑÑÐ°Ð½ÐµÐ½Ð¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð´Ð»Ñ Ð¿Ð¾ÑÐ»ÐµÐ´ÑÑÑÐµÐ¹ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð¸Ñ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ Ð² Ð¾Ð±Ð»Ð°ÑÑÐ¸ Ð¾Ð±ÑÑÐµÐ½Ð¸Ñ. ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² ÑÐ¾Ð´Ðµ ÑÐ°Ð±Ð¾ÑÑ: Ð¡Ð¾Ð·Ð´Ð°Ð½Ð¸Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¾Ð¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ ÑÐ·ÑÐºÐ° UML. ÐÐ¾ÑÑÑÐ¾ÐµÐ½Ð¸Ðµ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ ÑÐµÐºÑÑÐ¾Ð²Ð¾Ð³Ð¾ ÑÐ·ÑÐºÐ° Ð¾Ð¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹. Ð¡Ð¾Ð·Ð´Ð°Ð½Ð¸Ðµ ÑÐ¸ÑÑÐµÐ¼Ñ ÑÑÐ°Ð½ÐµÐ½Ð¸Ñ Ð¾Ð¿Ð¸ÑÐ°Ð½Ð½ÑÑ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹, Ð° ÑÐ°ÐºÐ¶Ðµ Ð¾Ð¿Ð¸ÑÐ°Ð½Ð¸Ðµ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ð¹ Ðº ÑÐ¾Ð¾ÑÐ²ÐµÑÑÑÐ²ÑÑÑÐµÐ¼Ñ ÑÑÐ°Ð½ÑÐ»ÑÑÐ¾ÑÑ. Ð ÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¿Ð¾Ð»ÑÑÐµÐ½Ð½Ð¾Ð¹ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ°, ÐºÐ¾ÑÐ¾ÑÑÐ¹ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÑÐµÑ Ð²Ð¸Ð·ÑÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½ ÑÐµÐºÑÑÐ¾Ð²ÑÐ¹ ÑÐ·ÑÐº Ð¾Ð¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹, Ð¿ÑÐ¸Ð²ÐµÐ´ÐµÐ½Ð¾ ÐµÐ³Ð¾ Ð·Ð°Ð´Ð°Ð½Ð¸Ðµ Ð² Ð²Ð¸Ð´Ðµ ÑÐ¾ÑÐ¼Ð°Ð»ÑÐ½Ð¾Ð¹ Ð³ÑÐ°Ð¼Ð¼Ð°ÑÐ¸ÐºÐ¸. Ð ÐºÐ°ÑÐµÑÑÐ²Ðµ Ð¼ÐµÑÐ¾Ð´Ð° ÑÐµÑÐ¸Ð°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð±ÑÐ» Ð¿ÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½ ÑÐ¾ÑÐ¼Ð°Ñ JSON. ÐÐ¿Ð¸ÑÐ°Ð½Ð° Ð³Ð¸Ð±ÐºÐ°Ñ ÑÑÑÑÐºÑÑÑÐ° Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÑÑÐ¸ÑÑÑ Ð´Ð»Ñ ÑÑÐ°Ð½ÐµÐ½Ð¸Ñ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð¿ÑÐ¾ÐµÐºÑÐ¾Ð², Ð¿Ð¾Ð·Ð²Ð¾Ð»ÑÑÑÐ°Ñ Ð¿Ð¾Ð²ÑÐ¾ÑÐ½Ð¾ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÑ ÑÐ°ÑÑÐ¸ Ð½Ð°Ð¿Ð¸ÑÐ°Ð½Ð½ÑÑ ÑÐ°Ð½ÐµÐµ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹. ÐÑÐ¸Ð²ÐµÐ´ÐµÐ½ ÑÐ¿Ð¸ÑÐ¾Ðº Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½ÑÑ Ð¾ÑÐ¸Ð±Ð¾Ðº Ð² Ð¿ÑÐ¾ÑÐµÑÑÐµ ÑÐ°Ð±Ð¾ÑÑ ÑÑÐ°Ð½ÑÐ»ÑÑÐ¾ÑÐ° Ñ ÑÐºÐ°Ð·Ð°Ð½Ð¸ÐµÐ¼ Ð¾Ð¶Ð¸Ð´Ð°ÐµÐ¼Ð¾Ð¹ ÑÐµÐ°ÐºÑÐ¸Ð¸. ÐÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð° Ð´ÐµÐ¼Ð¾Ð½ÑÑÑÐ°ÑÐ¸Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÐµÐ¹ Ð¸ Ð¿ÑÐ°ÐºÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¸Ð¼ÐµÐ½Ð¸Ð¼Ð¾ÑÑÐ¸ Ð¿Ð¾Ð»ÑÑÐµÐ½Ð½Ð¾Ð¹ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¿Ð¾ÑÑÐµÐ´ÑÑÐ²Ð¾Ð¼ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð´Ð»Ñ ÐºÐ¾Ð½ÑÑÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¸ Ð²Ð¸Ð·ÑÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹. Ð¢ÐµÑÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ° Ð¿ÑÐ¾Ð¸Ð·Ð²ÐµÐ´ÐµÐ½Ð¾ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¾Ð½ÑÐ¾Ð»Ð¾Ð³Ð¸Ð¹ Ð¿Ð¾ Ð´Ð¸ÑÐºÑÐµÑÐ½Ð¾Ð¹ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐµ.
description: The subject of the graduate qualification work is Â«Automation of ontologies in discrete mathematics in the educational processÂ». The given work is devoted to the creation of a system for describing and storing ontologies for subsequent automation of their use in the field of education. The following research goals were set: Creation of a model for describing ontologies based on the UML language. Construction based on the model of a text language for describing ontologies. Creation of a storage system for the described ontologies, as well as a requirements for the corresponding translator. Implementation based on the obtained system of a tool that automates the visualization of ontologies. As a result, a text language for describing ontologies was developed. It is presented as a formal grammar. The JSON format was proposed as a method for serializing ontologies. A flexible structure of projects used for storing ontologies is defined, which allows reusing parts of previously written ontologies. A list of possible errors during the translator's operation is given with an indication of the expected reaction. The capabilities and practical applicability of the resulting system are demonstrated by implementing an application for constructing and visualizing ontologies. The tool was tested based on ontologies in discrete mathematics.