Lobachevskii Journal of Mathematics

, Volume 35, Issue 4, pp 348–354

Mathematical knowledge representation: semantic models and formalisms

  • A. M. Elizarov
  • A. V. Kirillovich
  • E. K. Lipachev
  • O. A. Nevzorova
  • V. D. Solovyev
  • N. G. Zhiltsov
Article

Abstract

The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.

Keywords and phrases

Ontology engineering mathematical knowledge metadata extraction information retrieval math formula search 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Pleiades Publishing, Ltd. 2014

Authors and Affiliations

  • A. M. Elizarov
    • 1
  • A. V. Kirillovich
    • 1
  • E. K. Lipachev
    • 1
  • O. A. Nevzorova
    • 1
  • V. D. Solovyev
    • 1
  • N. G. Zhiltsov
    • 1
  1. 1.Higher Institute of Information Technologies and Information SystemsKazanTatarstan, Russia
  2. 2.Research Institute of Applied SemioticsTatarstan Academy of SciencesKazanTatarstan, Russia

Personalised recommendations