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

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

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


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




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

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

МАТЕМАТИКА

Онтология математического знания OntoMathPRO

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

Казанский (Приволжский) федеральный университет, Казань, Россия
Список цитирования (10)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954322700011
Аннотация: Представлена онтология OntoMathPRO – первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий. Концепты онтологии организованы в две иерархии: математических объектов и материализованных отношений. Учтены мета-онтологические различия, определенные в онтологии верхнего уровня, проведено разделение концептов на типы и роли. Отношения между понятиями заданы в материализованном виде. Аргументами материализованных отношений являются концепты-роли. В онтологии определены также многоязычные лексиконы для выражения математических концептов в текстах на естественном языке. Эти лексиконы представлены в виде наборов лингвистических открытых связанных данных. Проект построения OntoMathPRO находится в развитии и предусматривает пополнение онтологии новыми разделами математики и расширение сферы ее практического применения.
Ключевые слова: онтологии, онтологическое проектирование, извлечение математических фактов, материализованные отношения, управление математическим знанием.
Финансовая поддержка Номер гранта
Российский научный фонд 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
Образец цитирования: А. М. Елизаров, А. В. Кириллович, Е. К. Липачёв, О. А. Невзорова, “Онтология математического знания OntoMathPRO”, Докл. РАН. Матем., информ., проц. упр., 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
    • Эта публикация цитируется в следующих 10 статьяx:
    1. Anton Gnatenko, Oliver Kutz, Nicolas Troquard, Lecture Notes in Computer Science, 15370, Knowledge Engineering and Knowledge Management, 2025, 453  crossref
    2. Olga Ataeva, Vladimir Serebryakov, Natalia Tuchkova, Communications in Computer and Information Science, 2086, Data Analytics and Management in Data Intensive Domains, 2024, 65  crossref
    3. O. M. Ataeva, V. A. Serebryakov, N. P. Tuchkova, “Ontology-Driven Knowledge Graph Construction in the Mathematics Semantic Library”, Pattern Recognit. Image Anal., 34:3 (2024), 448  crossref
    4. O. M. Ataeva, V. A. Serebryakov, N. P. Tuchkova, “Descriptions of Some Boundary-Value Problems in the Semantic Library LibMeta”, Autom. Doc. Math. Linguist., 58:S1 (2024), S1  crossref
    5. А. М. Елизаров, А. В. Кириллович, Е. К. Липачёв, О. А. Невзорова, “Новые компоненты онтологии OntoMathPRO представления математического знания”, Научный сервис в сети Интернет, труды XXV Всероссийской научной конференции (18-21 сентября 2023 г., онлайн), ИПМ им. М. В. Келдыша, М., 2023, 141–151  crossref [Aleksandr Mikhajlovich Elizarov, Alexander Vitalevich Kirillovich, Evgeny Konstantinovich Lipachev, Olga Avenirovna Nevzoova, Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”, Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”, 2023, 141  crossref]
    6. Б. Т. Гизатуллин, О. А. Невзорова, “К построению графа знаний коллекции математических статей”, Научный сервис в сети Интернет, труды XXV Всероссийской научной конференции (18-21 сентября 2023 г., онлайн), ИПМ им. М. В. Келдыша, М., 2023, 94–103 [Bulat Timurovich Gizatullin, Olga Avenirovna Nevzoova, Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”, Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”, 2023, 94  crossref]
    7. О. А. Невзорова, Б. Т. Гизатуллин, “Система автоматического построения графов знаний математических документов”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 165:3 (2023), 264–281  mathnet  crossref  mathscinet [O. A. Nevzorova, B. T. Gizatullin, “A system for automatic construction of knowledge graphs of mathematical documents”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 165:3 (2023), 264–281  mathnet]
    8. O. M. Ataeva, Yu. N. Karnet, V. A. Serebryakov, N. P. Tuchkova, “Approach to creating a thesaurus and a knowledge graph of an applied subject area”, Lobachevskii J. Math., 44:7 (2023), 2577  crossref  mathscinet  zmath
    9. A. M. Elizarov, E. K. Lipachev, “Lobachevskii digital library in the scientific space of mathematical knowledge”, Sci. Tech. Inf. Proc., 50:1 (2023), 35  crossref
    10. A. V. Kirillovich, O. A. Nevzorova, E. K. Lipachev, “OntoMathPRO 2.0 Ontology: Updates of Formal Model”, Lobachevskii J Math, 43:12 (2022), 3504  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:159
    Список литературы:45
     
      Обратная связь:
    math-net2025_04@mi-ras.ru     		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025