| Форма представления | Программы для ЭВМ, базы данных, топологии интегральных микросхем |
| Год публикации | 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 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Жильцов Никита Геннадьевич |
ru_RU |
| dc.contributor.author |
Кириллович Александр Витальевич |
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/?p_id=194744 |
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 |
Программы для ЭВМ, базы данных, топологии интегральных микросхем |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
