Представление математических понятий в онтологии научных знаний

Автор: Муромский А.А., Тучкова Н.П.

Журнал: Онтология проектирования @ontology-of-designing

Рубрика: Прикладные онтологии проектирования

Статья в выпуске: 1 (31) т.9, 2019 года.

Бесплатный доступ

Рассматриваются особенности математических предметных областей в контексте построения он- тологии научных предметных областей. Приводятся примеры из разрабатываемого тезауруса по уравнениям смешанного типа из раздела уравнений с частными производными математической физики. Особое внимание уделяется вопросам представления и актуальной поддержки тезауруса адресата. Предлагается использовать специализированные тезаурусы, где наряду с определениями на естественном языке присутствуют символьные выражения. Этот подход позволяет уточнить запрос, используя математическую запись в ТеХ-нотации независимо от языка первоисточника, что приводит к уменьшению поискового шума и сокращению времени поиска. Обсуждается во- прос о том, почему всѐ ещѐ недостаточно создано математических тезаурусов и что надо сделать, чтобы они использовались в цифровых библиотеках наряду с другими информационными ресур- сами. Приводится пример создания тезауруса для отдельной математической предметной области. Особая трудность состоит в описании родо-видовых отношений в математических предметных областях, предлагается один из вариантов описания этих связей для уравнения смешанного типа.

Еще

Поисковый запрос, сравнение математических текстов, семантический поиск, тезаурус математических нотаций, тех-нотации

Короткий адрес: https://sciup.org/170178813

IDR: 170178813   |   DOI: 10.18287/2223-9537-2019-9-1-50-69

Список литературы Представление математических понятий в онтологии научных знаний

  • Roget, P.M. Roget's thesaurus of English words and phrases / P.M. Roger. Taylor Anderson (Editor). - Create Space Independent Publishing Platform. 2017. - 660 р.
  • May, K.O. Historiography: A Perspective for Computer Scientists / K.O. May // Invited address to International Research Conference on the History of Computing, June 10, 1976, Los Alamos.
  • Paulson, L.C. Computational logic: Its origins and applications / L.C. Paulson // Proceedings of the Royal Society. 2018. Series. A 474. DOI: 10.1098/rspa.2017.0872
  • Клещѐв, А.С. Теоретические основы оболочки для интерактивных систем верификации интуитивных математических доказательств / А.С. Клещѐв, В.А. Тимченко // Онтология проектирования. - 2018. - Т. 8, №2(28). - С.219-239. - DOI: 10.18287/2223-9537-2018-8-2-219-239
  • Клещѐв, А.С. Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPaaS / А.С. Клещѐв, В.А. Тимченко // Онтология проектирования. - 2018. - Т. 8, №3(29). - С.427-448. - DOI: 10.18287/2223-9537-2018-8-3-428-448
Статья научная