Аннотация:
В работе представлен сервис, основанный на технологиях Semantic Web, позволяющий выполнять поиск математических формул в коллекции научных PDF-документов. Поиск формул осуществляется путем поиска понятий, входящих в математическую формулу. В связи с этим, результаты поиска не зависят от авторских обозначений переменных формулы и содержат все формулы, в которых присутствует понятие из поискового запроса. Отличительной особенностью сервиса является возможность пополнения коллекции документов научными статьями в формате PDF без явной разметки математических формул. В качестве источника понятий используется онтология профессиональной математики OntoMathPro, охватывающая широкий спектр областей математики.
Ключевые слова:
семантический поиск формул, PDF-документы, обработка документов, научные журналы, научные библиотеки, онтологии, web-сервис.