Доклады Российской академии наук. Математика, информатика, процессы управления
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Доклады Российской академии наук. Математика, информатика, процессы управления, 2022, том 507, страницы 29–35
DOI: https://doi.org/10.31857/S2686954322700011 (Mi danma314) 		 
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

МАТЕМАТИКА

Онтология математического знания OntoMath$^{\operatorname{PRO}}$

А. М. Елизаров, А. В. Кириллович, Е. К. Липачёв, О. А. Невзорова

Казанский (Приволжский) федеральный университет, Казань, Россия
Список цитирования (8)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954322700011
Аннотация: Представлена онтология OntoMath$^{\operatorname{PRO}}$ – первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий. Концепты онтологии организованы в две иерархии: математических объектов и материализованных отношений. Учтены мета-онтологические различия, определенные в онтологии верхнего уровня, проведено разделение концептов на типы и роли. Отношения между понятиями заданы в материализованном виде. Аргументами материализованных отношений являются концепты-роли. В онтологии определены также многоязычные лексиконы для выражения математических концептов в текстах на естественном языке. Эти лексиконы представлены в виде наборов лингвистических открытых связанных данных. Проект построения OntoMath$^{\operatorname{PRO}}$ находится в развитии и предусматривает пополнение онтологии новыми разделами математики и расширение сферы ее практического применения.
Ключевые слова: онтологии, онтологическое проектирование, извлечение математических фактов, материализованные отношения, управление математическим знанием.
Финансовая поддержка Номер гранта
Российский научный фонд 21-11-00105
Работа выполнена при финансовой поддержке Российского научного фонда (проект № 21-11-00105).
Статья представлена к публикации: Е. И. Моисеев
Поступило: 03.06.2022
После доработки: 24.07.2022
Принято к публикации: 06.09.2022
Англоязычная версия:
Doklady Mathematics, 2022, Volume 106, Pages 429–435
DOI: https://doi.org/10.1134/S1064562422700016
Реферативные базы данных:
Тип публикации: Статья
УДК: 004.912
Образец цитирования: А. М. Елизаров, А. В. Кириллович, Е. К. Липачёв, О. А. Невзорова, “Онтология математического знания OntoMath$^{\operatorname{PRO}}$”, Докл. РАН. Матем., информ., проц. упр., 507 (2022), 29–35; Dokl. Math., 106 (2022), 429–435
Цитирование в формате AMSBIB
\RBibitem{EliKirLip22}
\by А.~М.~Елизаров, А.~В.~Кириллович, Е.~К.~Липачёв, О.~А.~Невзорова
\paper Онтология математического знания OntoMath$^{\operatorname{PRO}}$
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2022
\vol 507
\pages 29--35
\mathnet{http://mi.mathnet.ru/danma314}
\crossref{https://doi.org/10.31857/S2686954322700011}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4563842}
\elib{https://elibrary.ru/item.asp?id=49991280}
\transl
\jour Dokl. Math.
\yr 2022
\vol 106
\pages 429--435
\crossref{https://doi.org/10.1134/S1064562422700016}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma314
  • https://www.mathnet.ru/rus/danma/v507/p29
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:105
    Список литературы:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024