Details

Тема выпускной квалификационной работы: «Автоматизация онтологий по дискретной математике в учебном процессе». Данная работа посвящена созданию системы описания и хранения онтологий для последующей автоматизации их использования в области обучения. Задачи, которые решались в ходе работы: Создание модели описания онтологий на основе языка UML. Построение на основе модели текстового языка описания онтологий. Создание системы хранения описанных онтологий, а также описание требований к соответствующему транслятору. Реализация на основе полученной системы инструмента, который автоматизирует визуализацию онтологий. В результате разработан текстовый язык описания онтологий, приведено его задание в виде формальной грамматики. В качестве метода сериализации онтологий был предложен формат JSON. Описана гибкая структура использующихся для хранения онтологий проектов, позволяющая повторно использовать части написанных ранее онтологий. Приведен список возможных ошибок в процессе работы транслятора с указанием ожидаемой реакции. Проведена демонстрация возможностей и практической применимости полученной системы посредством реализации приложения для конструирования и визуализации онтологий. Тестирование инструмента произведено на основе онтологий по дискретной математике.

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.