OntoMathPRO Ontology: A Linked Data Hub for Mathematics

  • Olga A. Nevzorova
  • Nikita Zhiltsov
  • Alexander Kirillovich
  • Evgeny Lipachev
Part of the Communications in Computer and Information Science book series (CCIS, volume 468)


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.


Ontology engineering mathematical knowledge Linked Open Data 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aberer, K., Boyarsky, A., Cudr-Mauroux, P., Demartini, G., Ruchayskiy, O.: ScienceWISE: A Web-based Interactive Semantic Platform for Scientific Collaboration. In: 10th International Semantic Web Conference, (ISWC 2011 - Demo) (2011)Google Scholar
  2. 2.
    Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., Ives, Z.G.: Dbpedia: A Nucleus for a Web of Open Data. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 722–735. Springer, Heidelberg (2007)Google Scholar
  3. 3.
    Carlisle, D., Ion, P., Miner, R. (eds.): Mathematical Markup Language (MathML) Version 3.0.2 W3C Recommendation of 10 April 2014. World Wide Web Consortium (2010)Google Scholar
  4. 4.
    Barendregt, H., Wiedijk, F.: The Challenge of Computer Mathematics. Philosophical Transactions of the Royal Society A: Mathematical. Physical and Engineering Sciences 363(1835), 2351–2375 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Barrows, H.S.: A Taxonomy of Problembased Learning Methods. Medical Education 20(6), 481–486 (1986)CrossRefGoogle Scholar
  6. 6.
    Berners-Lee, T.: Linked Data – Design Issues (2006),
  7. 7.
    Biryaltsev, E.V., Elizarov, A.M., Zhiltsov, N.G., Lipachev, E.K., Nevzorova, O.A., Solovyev, V.D.: Methods for analyzing semantic data of electronic collections in mathematics. Automatic Documentation and Mathematical Linguistics 48(2), 81–85 (2014)CrossRefGoogle Scholar
  8. 8.
    Bizer, C., Heath, T., Berners-Lee, T.: Linked Data – The Story So Far. International Journal on Semantic Web and Information Systems 5(3), 1–22 (2009)CrossRefGoogle Scholar
  9. 9.
    Bordes, A., Usunier, N., García-Durán, A., Weston, J., Yakhnenko, O.: Translating Embeddings for Modeling Multi-relational Data. In: Advances in Neural Information Processing Systems, pp. 2787–2795 (2013)Google Scholar
  10. 10.
    Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The Open Math Standard. Version 2.0. Technical report, The Open Math Society (2004),
  11. 11.
    David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing Math Lecture Notes as Linked Data. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 370–375. Springer, Heidelberg (2010)Google Scholar
  12. 12.
    Dobrov, B., Loukachevitch, N.: Development of Linguistic Ontology on Natural Sciences and Technology. In: Proceedings of Linguistic Resources and Evaluation Conference, pp. 1077–1082 (2006)Google Scholar
  13. 13.
    Doerr, M.: The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata. AI Magazine 24(3), 75–92 (2003)MathSciNetGoogle Scholar
  14. 14.
    Elizarov, A.M., Lipachev, E.L., Malakhaltsev, M.A.: Web Technologies for Mathematicians: The Basics of MathML. A Practical Guide. Fizmatlit, Moscow (2010) (in Russian) Google Scholar
  15. 15.
    Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. In: Principles of Knowledge Representation and Reasoning, pp. 258–269 (1994)Google Scholar
  16. 16.
    Kamareddine, F., Wells, J.B.: Computerizing Mathematical Text with MathLang. Electronic Notes in Theoretical Computer Science 205, 5–30 (2008)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Lange, C.: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. Studies on the Semantic Web, vol. 11, pp. 1–592. IOS Press (2011)Google Scholar
  19. 19.
    Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web 4(2), 119–158 (2013)Google Scholar
  20. 20.
    Lange, C., Ion, P., Dimou, A., Bratsas, C., Sperber, W., Kohlhase, M., Antoniou, I.: Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 763–777. Springer, Heidelberg (2012)Google Scholar
  21. 21.
    Nevzorova, O.A., Birialtcev, E.V., Zhiltsov, N.G.: Mathematical text collections: Annotation and Application for Search Tasks. Scientific and Technical Information Processing 40(6), 386–395 (2013)CrossRefGoogle Scholar
  22. 22.
    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: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 379–394. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  23. 23.
    Nickel, M., Tresp, V., Kriegel, H.P.: A Three-way Model for Collective Learning on Multi-relational Data. In: 28th International Conference on Machine Learning, pp. 809–816 (2011)Google Scholar
  24. 24.
    Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. J. Web Sem. 5(2), 51–53 (2007)CrossRefGoogle Scholar
  25. 25.
    Sloane, N.: The On-line Encyclopedia of integer sequences. Notices of the AMS 50(8), 912 (2003)zbMATHMathSciNetGoogle Scholar
  26. 26.
    Solovyev, V., Zhiltsov, N.: Logical Structure Analysis of Scientific Publications in Mathematics. In: The International Conference on Web Intelligence, Mining and Semantics, pp. 21:1–21:9 (2011)Google Scholar
  27. 27.
    Springer LaTeX Search,
  28. 28.
    Sutskever, I., Salakhutdinov, R., Tenenbaum, J.B.: Modelling Relational Data using Bayesian Clustered Tensor Factorization. In: NIPS, pp. 1821–1828 (2009)Google Scholar
  29. 29.
    Thomas, R.: Millenium Mathematics Project—Bringing Mathematics to Life. MSOR Connections 4(3) (2004)Google Scholar
  30. 30.
    Topic, G., Kristianto, G.Y., Nghiem, M.-Q., Aizawa, A.: The MCAT Math Retrieval System for NTCIR-10 Math Track. In: The 10th NTCIR Conference (2013)Google Scholar
  31. 31.
    Tudorache, T., Vendetti, J., Noy, N.F.: Web-Protege: A Lightweight OWL Ontology Editor for the Web. In: OWLED (2008)Google Scholar
  32. 32.
  33. 33.
    Wikipedia Formula Search,
  34. 34.
  35. 35.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Olga A. Nevzorova
    • 1
    • 2
  • Nikita Zhiltsov
    • 1
  • Alexander Kirillovich
    • 1
  • Evgeny Lipachev
    • 1
  1. 1.Kazan Federal UniversityRussia
  2. 2.Research Institute of Applied Semiotics of Tatarstan Academy of SciencesKazanRussia

Personalised recommendations