Advertisement

Search in Collections of Mathematical Articles

  • Eugeny Birialtsev
  • Alexander Gusenkov
  • Olga Zhibrik
  • Polina Gusenkova
  • Yana Palacheva
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 745)

Abstract

In this paper we analyze an approach to semantic search of the mathematical expressions, allowing to perform queries and seek for the mathematical formulae by textual names of the variables contained in the formulae. We propose the method of establishing relations between textual definitions of variables and formulae containing these variables. Marked up formulae are related via noun phrases to the concepts of mathematical ontology. We describe software implementation of semantic search in mathematical documents. We also discuss ways to increase the search efficiency by improving accuracy of noun phrases extraction and establishing relations between these entities and formulae. The research showed the general efficiency of the method and a high percentage of relevant relations established.

Keywords

Semantic search Mathematical knowledge Ontology extraction Formulae mark up 

Notes

Acknowledgments

This work was funded by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities, grant agreement no. 1.2368.2017.

References

  1. 1.
    National Research Council: Developing a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, D.C., 131 p. (2014)Google Scholar
  2. 2.
    World Digital Mathematics Library (WDML). https://www.mathunion.org/ceic/library/world-digital-mathematics-library-wdml. Accessed 07 Jan 2018
  3. 3.
    Olver, P.J.: The world digital mathematics library: report of a panel discussion. In: Proceedings of the International Congress of Mathematicians, August 13–21, 2014, Seoul, Korea, vol. 1, pp. 773–785. Kyung Moon SA (2014)Google Scholar
  4. 4.
    Elizarov, A.M., Lipachev, E.K.: Lobachevskii-DML: Object approach to the creation of a digital mathematical library. In: Proceedings of the XIX International Conference “Data Analytics and Management in Data Intensive Domains” (DAMDID/RCDL’2017), Moscow, Russia, October 10–13 (2017)Google Scholar
  5. 5.
    Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: Digital ecosystem OntoMath: mathematical knowledge analytics and management. In: Communications in Computer and Information Science, vol. 706, pp. 33–46. Springer (2017)Google Scholar
  6. 6.
    Nevzorova, O., Zhiltsov, N., Kirillovich, A., Lipachev, E.: OntoMathPro ontology: a linked data hub for mathematics. In: Communications in Computer and Information Science, 2014, vol. 468, pp. 105–119 (2014)Google Scholar
  7. 7.
    Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O., Solovyev, V., Zhiltsov, N.: Mathematical knowledge representation: semantic models and formalisms. Lobachevskii J. Math. 35(4), 347–353 (2014)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Elizarov, A.M., Zhizhchenko A.B., Zhil’tsov, N.G., Kirillovich, A.V., Lipachev, E.K.: Mathematical knowledge ontologies and recommender system for collections of documents in physics and mathematics. Comput. Sci. 93(2), 231–233 (2016)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Nevzorova, O., Zhiltsov, N., Zaikin, D., Zhibrik, O., Kirillovich, A., Nevzorov, V., Birialtsev, E.: Bringing math to LOD: a semantic publishing platform prototype for scientific collections in mathematics. In: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21–25, 2013, Proceedings, Part I. Lecture Notes in Computer Science, vol. 8218, pp. 379–394. Springer, Heidelberg (2013)Google Scholar
  10. 10.
    Nevzorova, O., Zhiltsov, N., Kirillovich, A., Lipachev, E.: OntoMathPRO ontology: a linked data hub for mathematics. In: Knowledge Engineering and the Semantic Web Communications in Computer and Information Science, vol. 468, pp. 105–119 (2014). http://link.springer.com/chapter/10.1007/978-3-319-11716-4_9. arXiv:1407.4833 zbMATHGoogle Scholar
  11. 11.
    Birialtsev, E.V., Elizarov, A.M., Zhiltsov, N.G., Lipachev, E.K., Nevzorova, O.A., Solov’ev, V.D.: Methods for analyzing semantic data of electronic collections in mathematics. Autom. Doc. Math. Linguist. 48(2), 81–85 (2014)CrossRefGoogle Scholar
  12. 12.
    Google Scholar. https://scholar.google.com. Accessed 07 Jan 2018
  13. 13.
    Microsoft Academic Search. http://academic.research.microsoft.com. Accessed 07 Jan 2018
  14. 14.
    The Springer LaTeX Search. http://latexsearch.com. Accessed 07 Jan 2018
  15. 15.
    (Uni)quation. Math expression search engine. http://uniquation.com. Accessed 07 Jan 2018
  16. 16.
    Misutka, J., Galambos, L.: Extending full text search engine for mathematical content. In: Proceedings of DML, pp. 55–67 (2008)Google Scholar
  17. 17.
    The Wolfram Functions Site. http://functions.wolfram.com. Accessed 07 Jan 2018
  18. 18.
    SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query. Accessed 07 Jan 2018
  19. 19.
    Birialtsev, E.V., Galimov, M.R., Gusenkov, A.M., Zhibrik, O.N.: Some approaches to improving the relevance of the search of mathematical expressions in scientific texts (in Russian). In: Proceedings of the Kazan School on computational and cognitive linguistics TEL-2012, pp. 78–92. Tatarstan Academy of Sciences, Fen, Kazan (2012)Google Scholar
  20. 20.
    Birialtsev, E.V., Gusenkov, A.M., Zhibrik, O.N.: Some approaches to markup of scientific texts containing mathematical expressions (in Russian). Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 156(4), 133–148 (2014)Google Scholar
  21. 21.
    Birialtsev, E.V., Gusenkov, A.M., Zhibrik, O.N.: Search of mathematical expressions in scientific texts. Experimental evaluation of the relevance (in Russian). In: Proceedings of the Kazan School on computational and cognitive linguistics TEL-2014, pp. 34–37. Tatarstan Academy of Sciences, Fen, Kazan (2014)Google Scholar
  22. 22.
    Gusenkov, A.M.: Intelligent search of complex objects in large data sets (in Russian). Russ. Digit. Libr. J. 19(1), 3–39 (2016)Google Scholar
  23. 23.
    Nevzorova, O., Nevzorov, V.: The development support system “OntoIntegrator” for linguistic applications. Inf. Sci. Comput. 3(13), 78–84 (2009)Google Scholar
  24. 24.
    GATE: general architecture for text engineering. https://gate.ac.uk. Accessed 07 Jan 2018
  25. 25.
    Elizarov, A., Kirilovich, A., Lipachev, E., Nevzorova, O.: Mathematical knowledge management: ontological models and digital technology. In: CEUR Workshop Proceedings, vol. 1752, pp. 44–50 (2016). http://ceur-ws.org/Vol-1752/paper08.pdf
  26. 26.
    Finding Concepts in Mathematical Formulas alpha. http://lobachevskii-dml.ru:8890/mathsearch. Accessed 07 Jan 2018

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Eugeny Birialtsev
    • 1
    • 2
  • Alexander Gusenkov
    • 2
  • Olga Zhibrik
    • 1
  • Polina Gusenkova
    • 2
  • Yana Palacheva
    • 2
  1. 1.Gradient LtdKazanRussia
  2. 2.Kazan (Volga Region) Federal UniversityKazanRussia

Personalised recommendations