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

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

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

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

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

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

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

Еще

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

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

IDR: 170178813   |   УДК: 004.421.2   |   DOI: 10.18287/2223-9537-2019-9-1-50-69

Representation of mathematical concepts in the ontology of scientific knowledge

Features of mathematical data domains in the context of creation of ontology of scientific data domains are considered. Examples from the developed thesaurus on the equations of the mixed type from the section of the equations with partial equations of mathematical physics are given. Special attention is paid to questions of representation and relevant support of the thesaurus of the addressee. It is offered to use specialized thesauruses where along with definitions in a natural language there are character expressions. This approach allows to specify a request, using mathematical entry in the TeX-notation irrespective of original language that leads to reduction of search noise and reduction of search time. The issue of why there is still insufficient amount of mathematical thesauruses created and their necessity for digital libraries along with other information resources is discussed. The example of creation of a thesaurus for separate mathematical data domain is given. The special difficulty consists in the description of the taxonomy (genus and species relations) in mathematical subject domains, one of the possible versions of the description of these communications for the equation of the mixed type is proposed.

Еще

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

  • 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