KFU. Card publication. Extended Functionality of Mathematical Formulae Search Service

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

EXTENDED FUNCTIONALITY OF MATHEMATICAL FORMULAE SEARCH SERVICE

Form of presentation

Articles in international journals and collections

Year of publication

2018

Язык

английский

Authors, employees of KFU

Gusenkov Aleksandr Mikhaylovich, author

Other authors

Zhibrik Olga Nikolaevna, author

Authors, students KFU

Gusenkova Polina Aleksandrovna, author

Palacheva Yana Vladlenovna, author

Bibliographic description in the original language

Alexander Gusenkov, Polina Gusenkova, Yana Palacheva, Olga Zhibrik. Extended Functionality of Mathematical Formulae Search Service. The Twelfth International Conference on Advances in Semantic Processing, ISBN: 978-1-61208-678-1, November 18 - 22, 2018, Athens, Greece (SEMAPRO 2018), P. 35 – 41.

Annotation

The Twelfth International Conference on Advances in Semantic Processing, ISBN: 978-1-61208-678-1, November 18 - 22, 2018, Athens, Greece (SEMAPRO 2018), P. 35 – 41.

Keywords

semantic search; mathematical knowledge; ontology; formulae markup.

The name of the journal

The Twelfth International Conference on Advances in Semantic Processing, ISBN: 978-1-61208-678-1, November 18 - 22, 2018, Athens, Greece (SEMAPRO 2018), P. 35 – 41.

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Gusenkov Aleksandr Mikhaylovich	ru_RU
dc.contributor.author	Zhibrik Olga Nikolaevna	ru_RU
dc.contributor.author	Gusenkova Polina Aleksandrovna	ru_RU
dc.contributor.author	Palacheva Yana Vladlenovna	ru_RU
dc.date.accessioned	2018-01-01T00:00:00Z	ru_RU
dc.date.available	2018-01-01T00:00:00Z	ru_RU
dc.date.issued	2018	ru_RU
dc.identifier.citation	Alexander Gusenkov, Polina Gusenkova, Yana Palacheva, Olga Zhibrik. Extended Functionality of Mathematical Formulae Search Service. The Twelfth International Conference on Advances in Semantic Processing, ISBN: 978-1-61208-678-1, November 18 - 22, 2018, Athens, Greece (SEMAPRO 2018), P. 35 – 41.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=199636&p_lang=2	ru_RU
dc.description.abstract	The Twelfth International Conference on Advances in Semantic Processing, ISBN: 978-1-61208-678-1, November 18 - 22, 2018, Athens, Greece (SEMAPRO 2018), P. 35 – 41.	ru_RU
dc.description.abstract	This paper focuses on the Mathematical Formulae Search Service of the Lobachevskii-DML (Digital Mathematical Library) project. The service is based on the original method of mathematical document markup that allows establishing relations among terms, variables, and formulae. This method was tested in two different search services with different preprocessing approaches. In Lobachevskii-DML, the instances of the mathematical entities are elicited as ontology concepts. The search service enables the user to seek formulae by textual definitions of their variables by generating ontology queries in SPARQL (SPARQL stands for SPARQL Protocol and RDF Query Language, RDF is the Resource Description Framework). The paper provides an overview of the search service and discusses the dynamic generation of the queries in response to new functionality features, including seeking formulae by more than one ontology concept.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject		ru_RU
dc.title	Extended Functionality of Mathematical Formulae Search Service	ru_RU
dc.type	Articles in international journals and collections	ru_RU