KFU. Card publication. OntoMathSearch: система семантического поиска по математическим формулам

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ONTOMATHSEARCH: СИСТЕМА СЕМАНТИЧЕСКОГО ПОИСКА ПО МАТЕМАТИЧЕСКИМ ФОРМУЛАМ

Form of presentation

ECM programs, databases, integrated circuit topographies

Year of publication

2019

Язык

русский

Authors, employees of KFU

Zhilcov Nikita Gennadevich, author

Kirillovich Aleksandr Vitalevich, author

Bibliographic description in the original language

Svidetelstvo 2019610460 Rossiyskaya Federaciya. Svidetelstvo ob gosudarstvennoy registracii programmy dlya EVM. OntoMathSearch: sistema semanticheskogo poiska po matematicheskim formulam / A.V. Kirillovich, N.G. Zhilcov; zayavitel i pravoobladatel FGAOU VO KFU (RU). - №2018664807; zayavlenie 18.12.2018; opublikovano 10.01.2019, Reestr programm dlya EVM. - 1 s.

Annotation

Программа позволяет пользователю находить в коллекции математических документов математические формулы, которые содержат переменные, обозначающие заданное математическое понятие. Результаты поиска представляются в виде таблицы, каждый элемент которой содержит найденную формулу, переменную формулы, обозначающую искомое понятие, положение формулы в логической структуре математической публикации и метаданные формулы. Пользователь имеет возможность фильтровать результаты поиска на основе положения формул в логической структуре документа. В качестве искомых математических понятий выступают концепты онтологии OntoMathPro, а также объекты из ресурсов облака Открытых связанных данных (LOD), привязанных к данной онтологии (прежде всего, DBPedia и ScienceWise). Поисковая программа работает поверх RDF-набора данных, полученного из LaTeX-коллекции математических публикаций с помощью Платформы семантической публикации. Программа реализована в виде одностраничного web-приложения.

Keywords

семантический поиск

URL

http://www1.fips.ru/fips_servl/fips_servlet?DB=EVM&DocNumber=2019610460&TypeFile=html

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=194744&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Zhilcov Nikita Gennadevich	ru_RU
dc.contributor.author	Kirillovich Aleksandr Vitalevich	ru_RU
dc.date.accessioned	2019-01-01T00:00:00Z	ru_RU
dc.date.available	2019-01-01T00:00:00Z	ru_RU
dc.date.issued	2019	ru_RU
dc.identifier.citation	Свидетельство 2019610460 Российская Федерация. Свидетельство об государственной регистрации программы для ЭВМ. OntoMathSearch: система семантического поиска по математическим формулам / А.В. Кириллович, Н.Г. Жильцов; заявитель и правообладатель ФГАОУ ВО КФУ (RU). - №2018664807; заявление 18.12.2018; опубликовано 10.01.2019, Реестр программ для ЭВМ. - 1 с.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=194744&p_lang=2	ru_RU
dc.description.abstract	Программа позволяет пользователю находить в коллекции математических документов математические формулы, которые содержат переменные, обозначающие заданное математическое понятие. Результаты поиска представляются в виде таблицы, каждый элемент которой содержит найденную формулу, переменную формулы, обозначающую искомое понятие, положение формулы в логической структуре математической публикации и метаданные формулы. Пользователь имеет возможность фильтровать результаты поиска на основе положения формул в логической структуре документа. В качестве искомых математических понятий выступают концепты онтологии OntoMathPro, а также объекты из ресурсов облака Открытых связанных данных (LOD), привязанных к данной онтологии (прежде всего, DBPedia и ScienceWise). Поисковая программа работает поверх RDF-набора данных, полученного из LaTeX-коллекции математических публикаций с помощью Платформы семантической публикации. Программа реализована в виде одностраничного web-приложения.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject		ru_RU
dc.title	OntoMathSearch: система семантического поиска по математическим формулам	ru_RU
dc.type	ECM programs, databases, integrated circuit topographies	ru_RU