1.1 Актуальность информационных систем, использующих онтологии 4
1.2 Основные аспекты проектирования онтологий 7
1.3 Инструменты для работы с онтологиями 11
1.4 Постановка задачи 13
2. Основные модели и методы для автоматизированного пополнения
терминологического словаря предметной области 15
2.1 Язык проектирования онтологий OWL 15
2.2 Онтология OntoMathPro 18
2.3 Преобразование триплетов в реляционное представление 20
2.4 Модель информационного поиска 23
2.5 Семантические модели 24
3. Программные инструменты 27
3.1 Архитектура информационной системы 27
3.3 Инструмент конвертации OWL-файла 37
3.4 Инструмент поискового индекса 39
3.5 Инструмент извлечения терминологии из математических статей 43
4. Эксперименты 47
4.1 Эксперимент с инструментом обработки OWL-файла 47
4.2 Эксперимент с инструментом для поискового индекса 51
5. Заключение 58
6. Список литературы 58
7. Приложение 60
7.1 Код функции записи словаря в базу данных 60
7.2 Первые 100 строк таблицы, построенного словаря онтологии 61
7.3 Фрагмент построенной таблицы NP-моделей, в котором
отображены все экземпляры, включающие формулу 63
Результатом магистерской диссертации является приложение ONtoDictionary, которое предназначено для работы с научными математическими статьями и онтологиями, созданными в protege. Приложение способно создавать словарь онтологии, разбивать его элементы на концепты, и обрабатывать их в булевом поиске. Также имеется функционал для выделения именных групп из математических статей. Новизна заключается в создании и методе обработки именных групп, включающих формулы. Формулы обрабатываются независимо от их типа (производная, интеграл, ряд и так далее). Также реализован поиск по созданным экземплярам именных групп. По всему функционалу приложения произведён ряд экспериментов, которые на практике показали точность и правильность работы приложения.
Некоторые результаты магистерской диссертации были доложены на юбилейной десятой международной научно-практической конференции “Электронная Казань 2018”, и опубликованы в [18].
