$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
  In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE. 
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich, and Evgeny   Lipachev
cs.AI cs.DL cs.IR