Заказать работу


Тип работы:
Предмет:
Язык работы:


Создание фрагментов общей онтологии математики OntoMath

Работа №39365
Тип работыДипломные работы, ВКР
Предметпрограммирование
Объем работы30
Год сдачи2019
Стоимость4900 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено 62
Не подходит работа?

Узнай цену на написание

Введение 3
1. Теоретические основы онтологий 4
1.1. Основные понятия теории онтологий 4
1.2. Цели создания онтологий и сферы их применения 4
1.3. Методология создания онтологий 6
1.4. Общая онтология математики OntoMathPro и принципы ее построения 7
2. Программное обеспечение для создания онтологий 11
2.1. Общие характеристики редакторов 11
2.2. Характеристика редактора онтологий Protege 11
3. Разработка фрагментов онтологии 13
3.1. Описание классов 13
3.2. Иерархия теория графов 13
3.3. Иерархия теории дискретных преобразователей 17
3.4. Добавление связей 23
Заключение 28
Список литературы 29


Онтология (в информатике) - это подробная формализация некоторой области знаний с помощью концептуальной схемы. Как правило подобная модель состоит из структуры данных, включающей все релевантные классы объектов, связи между ними и правила, принятые в данной области.
Основные направления использования онтологий включают в себя формализованное представление знаний - организация общей терминологии, индексирование и классификация знаний, структурирование понятий из предметных областей для одновременного использования человеком и компьютером, приобретение, обработка и формирование новых знаний. Также онтологии применяются для семантического объединения информационных ресурсов и гарантировании возможности поиска необходимых данных.
В КФУ создана и развивается при поддержке Академии Науки РТ единственная в мире доступная через Интернет онтология математического знания OntoMathPro [1].
Целью данной работы является разработка фрагментов онтологии, описывающих элементы и связи между ними из теории графов и теории дискретных преобразователей для дальнейшей интеграции в общую онтологию математики.
Для достижения указанной цели были поставлены следующие задачи:
• Изучение теории онтологий, как раздела искусственного интеллекта;
• Изучение современных средств создания онтологий,
включая Protege;
• Изучение онтологии OntoMathPro;
• Подбор и анализ информационных ресурсов для создания
фрагментов онтологии;
• Встраивание созданных фрагментов в онтологию
OntoMathPro.


Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании студенческих
и аспирантских работ!


В ходе выполнения данного проекта была проведена аналитическая работа по изучению необходимого стека технологий, необходимых для разработки онтологии. Изучена теория онтологий, как раздел искусственного интеллекта и редактор онтологий Protege. Разработана онтология, содержащая 131 класс, описывающая элементы теории графов и отношения между ними, а также онтология, описывающая теорию дискретных преобразователей, содержащая 107 классов. Выявлена 41 и 48 связей между классами, соответственно, типов «определяет», «определяется через» и «смотри также». Онтологии согласованы с создателями OntoMathPro и представляют собой готовые фрагменты общей онтологии математики OntoMathPro. Конечная цель - составление онтологий, описывающих элементы теории графов и теории дискретных преобразователей - была успешно достигнута.


1. Nevzorova, O.A. OntoMathPRO Ontology: A Linked Data Hub for Mathematics [Text] / O.A. Nevzorova, N.G. Zhiltsov, A.V. Kirillovich, E.K. Lipachev - Kazan: Kazan Federal University, 2014. - p. 15.
2. Соловьев, В.Д. Онтологии и тезаурусы [Текст] / Соловьев, В.Д., Добров Б.В., Иванов В.В., Лукашевич Н.В. - Казань: Казанский университет,
2006. - 198 с.
3. Noy, N.F. Ontology Development 101: A Guide to Creating Your First Ontology [Text] / N.F. Noy, D.L. McGuinness - Stanford: Stanford University, 2001. - p. 25.
4. OntoMathPro: A Hub for Math Linking Open Data [Электронный ресурс]. - 2019 - URL: http://ontomathpro.org/ (дата обращения 15.02.2019).
5. Иванова, М.И. Отчет по преддипломной практике [Текст], - Казань: КФУ, - 2019. - 16 с.
6. База данных ScienceWISE [Электронный ресурс] - 2019. - URL: http://sciencewise.info/ (дата обращения 01.06.2019).
7. База данных DBpedia [Электронный ресурс] - 2019. - URL: https://wiki.dbpedia.org/ (дата обращения 03.06.2019).
8. Linked Data [Электронный ресурс] - 2019. - URL: https://ru.wikipedia.org/wiki/Linked_data (дата обращения 10.05.2019).
9. Protege 5 Documentation [Электронный ресурс] - 2019. - URL: http://protegeproject.github.io/protege/ (дата обращения 10.04.2019).
10. Иванова, М.И. Использование программных средств для построения онтологий в математике [Текст]: курсовая работа. - Казань: КФУ, - 2018. - 10 с.
11. Оре, О. Теория графов [Текст]. - М.: Наука, 1962. - 335 с.
12. Емеличев, В.А. Лекции по теории графов [Текст] / В.А. Емеличев, О.И. Мельников, В.И. Сарванов, Р.И. Тышкевич. - М.: Наука, 1990. - 384 с.
13. Домнин, Л.Н. Элементы теории графов [Текст]. - Пенза: Изд-во Пенз. гос. ун-та, 2007 - 144 с.
14. Глоссарий теории графов [Электронный ресурс] - 2019. - URL:
Ь14р8://га.’шк1ре01а.о^/’шк1/Глоссарий_теории_графов (дата обращения:
11.03.2019) .
15. Хопкрофт, Д.Э. Введение в теорию автоматов, языков и вычислений [Текст] / Д.Э. Хопкрофт, Р. Мотвани, Д.Д. Ульман. - М.: Вильямс, 2002. - 528 с.
16. Алгебраическая теория автоматов, языков и полугрупп [Текст] / Под ред. М. Арбиба. - М.: Статистика, 1975. - 335 с.
17. Кудрявцев, В.Б. Введение в теорию автоматов [Текст] / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. - М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с.
18. Брауэр, В. Введение в теорию конечных автоматов [Текст] / В. Брауэр. - М.: Радио и связь, 1987. - 392 с.
19. Бухараев, Р.Г. Основы теории вероятностных автоматов [Текст] / Р.Г. Бухараев. - М.: Наука, 1987. - 288 с.


Работу высылаем на протяжении 30 минут после оплаты.

Пожалуйста, укажите откуда вы узнали о сайте!



© 2008-2021 Cервис помощи студентам в выполнении работ
.