Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
ONTOMATHSEARCH: СИСТЕМА СЕМАНТИЧЕСКОГО ПОИСКА ПО МАТЕМАТИЧЕСКИМ ФОРМУЛАМ
Форма представленияПрограммы для ЭВМ, базы данных, топологии интегральных микросхем
Год публикации2019
Языкрусский
  • Жильцов Никита Геннадьевич, автор
  • Кириллович Александр Витальевич, автор
  • Библиографическое описание на языке оригинала Свидетельство 2019610460 Российская Федерация. Свидетельство об государственной регистрации программы для ЭВМ. OntoMathSearch: система семантического поиска по математическим формулам / А.В. Кириллович, Н.Г. Жильцов; заявитель и правообладатель ФГАОУ ВО КФУ (RU). - №2018664807; заявление 18.12.2018; опубликовано 10.01.2019, Реестр программ для ЭВМ. - 1 с.
    Аннотация Программа позволяет пользователю находить в коллекции математических документов математические формулы, которые содержат переменные, обозначающие заданное математическое понятие. Результаты поиска представляются в виде таблицы, каждый элемент которой содержит найденную формулу, переменную формулы, обозначающую искомое понятие, положение формулы в логической структуре математической публикации и метаданные формулы. Пользователь имеет возможность фильтровать результаты поиска на основе положения формул в логической структуре документа. В качестве искомых математических понятий выступают концепты онтологии OntoMathPro, а также объекты из ресурсов облака Открытых связанных данных (LOD), привязанных к данной онтологии (прежде всего, DBPedia и ScienceWise). Поисковая программа работает поверх RDF-набора данных, полученного из LaTeX-коллекции математических публикаций с помощью Платформы семантической публикации. Программа реализована в виде одностраничного web-приложения.
    Ключевые слова семантический поиск
    URL http://www1.fips.ru/fips_servl/fips_servlet?DB=EVM&DocNumber=2019610460&TypeFile=html
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=194744

    Полная запись метаданных