Home // SEMAPRO 2018, The Twelfth International Conference on Advances in Semantic Processing // View article

Extended Functionality of Mathematical Formulae Search Service

Authors:
Alexander Gusenkov
Polina Gusenkova
Yana Palacheva
Olga Zhibrik

Keywords: semantic search; mathematical knowledge; ontology; formulae markup.

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.

Pages: 35 to 41

Copyright: Copyright (c) IARIA, 2018

Publication date: November 18, 2018

Published in: conference

ISSN: 2308-4510

ISBN: 978-1-61208-678-1

Location: Athens, Greece

Dates: from November 18, 2018 to November 22, 2018