Skip to main content
SpringerLink
Log in

OntoMathPRO: An Ontology of Mathematical Knowledge

  • MATHEMATICS
  • Published:
Doklady Mathematics Aims and scope Submit manuscript

Abstract

The article describes OntoMathPRO, the first Linked Open Data ontology of professional mathematical knowledge. The ontology is designed to represent mathematical concepts. The concepts of the ontology are organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relationships. OntoMathPRO respects meta-ontological distinctions provided by a foundational ontology and annotates the concepts as kinds and roles. Relationships between mathematical objects are represented in a reified form, i.e., as instances of relationship concepts linked to their arguments that are instances of role concepts. The ontology defines multilingual lexicons that describe how the concepts are expressed in natural language text. The lexicons are represented as Linguistic Linked Open Data datasets. The OntoMathPRO ontology is under development and will be enriched by new areas of mathematics..

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.

Similar content being viewed by others

REFERENCES

  1. N. Guarino, D. Oberle, and S. Staab, in Handbook on Ontologies, 2nd ed., Ed. by S. Staab and R. Studer (Springer, New York, 2009), pp. 1–17. https://doi.org/10.1007/978-3-540-24750-0

    Book  Google Scholar 

  2. E. I. Moiseev, A. A. Muromskii, and N. P. Tuchkova, Ontology of Scientific Information Space (Vychisl. Tsentr im. A.A. Dorodnitsyna Ross. Akad. Nauk, Moscow, 2013) [in Russian].

  3. A. A. Muromskii and N. P. Tuchkova, “Representation of mathematical concepts in scientific knowledge ontology,” Ontol. Proekt. 9 (1), 50–69 (2019). https://doi.org/10.18287/2223-9537-2019-9-1-50-69

    Article  Google Scholar 

  4. N. P. Tuchkova, “On semantic model of the subject area ‘Equations of mathematical physics’,” Inf. Mat. Tekhnol. Nauke Upr., No. 4, 132–142 (2020). https://doi.org/10.38028/ESI.2020.20.4.012

  5. V. A. Serebryakov and O. M. Ataeva, “Ontology based approach to modeling of the subject domain ‘Mathematics’ in the digital library,” Lobachevskii J. Math. 42 (8), 1920–1934 (2021). https://doi.org/10.1134/S199508022108028X

    Article  MATH  Google Scholar 

  6. S. Arndt, P. Ion, M. Runnwerth, M. Schubotz, and O. Teschke, “10 years later: The mathematics subject classification and linked open data,” in Intelligent Computer Mathematics, CICM 2021, Ed. by F. Kamareddine and C. Sacerdoti Coen., Lect. Notes Comput. Sci. 12833, 153–158 (2021). https://doi.org/10.1007/978-3-030-81097-9_12

    Book  MATH  Google Scholar 

  7. C. Lange, “Ontologies and languages for representing mathematical knowledge on the Semantic Web,” Semantic Web 4 (2), 119–158 (2013). https://doi.org/10.3233/SW-2012-0059

    Article  Google Scholar 

  8. A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev, O. A. Nevzorova, V. D. Solovyev, and N. G. Zhiltsov, “Mathematical knowledge representation: Semantic models and formalisms,” Lobachevskii J. Math. 35 (4), 347–353 (2014). https://doi.org/10.1134/S1995080214040143

    Article  MathSciNet  MATH  Google Scholar 

  9. C. Kaliszyk and F. Rabe, “A survey of languages for formalizing mathematics,” Lect. Notes Artif. Intell. 12236, 138–156 (2020). https://doi.org/10.1007/978-3-030-53518-6_9

    Article  MATH  Google Scholar 

  10. Developing a 21st Century Global Library for Mathematics Research (Academies, Washington, DC, 2014). https://doi.org/10.17226/18619

  11. P. D. F. Ion and S. M. Watt, “The global digital mathematics library and the international mathematical knowledge trust,” Lect. Notes Artif. Intell. 10383, 56–69 (2017). https://doi.org/10.1007/978-3-319-62075-6_5

    Article  MATH  Google Scholar 

  12. A. M. Elizarov, E. K. Lipachev, O. A. Nevzorova, and V. D. Solov’ev, “Methods and means for semantic structuring of electronic mathematical documents,” Dokl. Math. 90 (1), 521–524 (2014). https://doi.org/10.7868/S0869565214240049

    Article  MathSciNet  MATH  Google Scholar 

  13. O. Nevzorova, N. Zhiltsov, A. Kirillovich, and E. Lipachev, “OntoMathPRO ontology: A linked data hub for mathematics,” in Knowledge Engineering and Semantic Web: 5th International Conference KESW 2014, Ed. by P. Klinov and D. Mouromstev, Communications in Computer and Information Science (Springer, Cham, 2014), Vol. 468, pp. 105–119. https://doi.org/10.1007/978-3-319-11716-4_9

  14. G. Guizzardi et al., “UFO: Unified foundational ontology,” Appl. Ontol. 17 (1), 167–210 (2022). https://doi.org/10.3233/AO-210256

    Article  Google Scholar 

  15. N. V. Lukashevich and B. V. Dobrov, “Designing linguistic ontologies for information systems in broad subject areas,” Ontol. Proekt. 5 (1), 47–69 (2015).

    Google Scholar 

  16. A. Elizarov, A. Kirillovich, E. Lipachev, and O. Nevzorova, “Digital Ecosystem OntoMath: Mathematical knowledge analytics and management,” Commun. Comput. Inf. Sci. 706, 33–46 (2017). https://doi.org/10.1007/978-3-319-57135-5_3

    Article  Google Scholar 

  17. A. Elizarov, A. Kirillovich, E. Lipachev, and O. Nevzorova, “Semantic formula search in digital mathematical libraries,” Proceedings of the 2nd Russian–Pacific Conference on Computer Technology and Applications RPC 2017 (2017), pp. 39–43. https://doi.org/10.1109/RPC.2017.8168063

  18. A. M. Elizarov, A. B. Zhizhchenko, N. G. Zhil’tsov, A. V. Kirillovich, and E. K. Lipachev, “Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics,” Dokl. Math. 93 (2), 231–237 (2016). https://doi.org/10.7868/S0869565216100042

    Article  MathSciNet  MATH  Google Scholar 

  19. O. Nevzorova and D. Almukhametov, “Towards a recommender system for the choice of UDC code for mathematical articles,” CEUR Workshop Proc. 3036, 54–62 (2021). http://ceur-ws.org/Vol-3036/paper04.pdf

    Google Scholar 

  20. A. Kirillovich, O. Nevzorova, M. Falileeva, E. Lipachev, and L. Shakirova, “OntoMathEdu: Towards an educational mathematical ontology,” CEUR Workshop Proc. 2634, 1–10 (2020). http://ceur-ws.org/Vol-2634/WiP1.pdf

    MATH  Google Scholar 

  21. A. Barana, L. Di Caro, M. Fioravera, M. Marchisio, and S. Rabellino, “Ontology development for competence assessment in virtual communities of practice,” in Proceedings of the 19th International Conference Artificial Intelligence in Education (AIED 2018), Part II, Ed. by C. Penstein Rosé et al., Lect. Notes Comput. Sci. 10948, 94–98 (2018). https://doi.org/10.1007/978-3-319-93846-2_18

  22. L. Di Caro, S. Rabellino, M. Fioravera, and M. Marchisio, “A model for enriching automatic assessment resources with free-text annotations,” 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), October 21–23, 2018, Budapest, Hungary (2018), pp. 186–193.

  23. V. Daponte and G. Falquet, “Une ontologie pour la formalisation et la visualisation des connaissances scientifiques,” 29es Journées Francophones d’Ingénierie des Connaissances, IC 2018, AFIA, Nancy, France (2018), pp. 129–136. https://hal.archives-ouvertes.fr/hal-01839572

    Google Scholar 

  24. P. Intarapaiboon and C. Kesamoon, “Applying domain knowledge and academic information to enhance unknown-item search in OPAC,” Malays. J. Library Inf. Sci. 24 (1), 45–58 (2019). https://doi.org/10.22452/mjlis.vol24no1.3

    Article  Google Scholar 

  25. A. P. Vedurmudi, J. Neumann, M. Gruber, and S. Eichstädt, “Semantic description of quality of data in sensor networks,” Sensors 21, 6462 (2021). https://doi.org/10.3390/s21196462

    Article  Google Scholar 

Download references

ACKNOWLEDGMENTS

The authors are grateful to the reviewers for their remarks, which helped significantly improve the manuscript.

Funding

This work was supported by the Russian Science Foundation, project no. 21-11-00105.

Author information

Authors and Affiliations

  1. Kazan Federal University, Kazan, Russia

    A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev & O. A. Nevzorova

Authors
  1. A. M. Elizarov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. V. Kirillovich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. K. Lipachev
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. O. A. Nevzorova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev or O. A. Nevzorova.

Ethics declarations

The authors declare that they have no conflicts of interest.

Additional information

Translated by I. Ruzanova

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Elizarov, A.M., Kirillovich, A.V., Lipachev, E.K. et al. OntoMathPRO: An Ontology of Mathematical Knowledge. Dokl. Math. 106, 429–435 (2022). https://doi.org/10.1134/S1064562422700016

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1064562422700016

Keywords:

Search

Navigation