KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Conference material: "Scientific service & Internet: proceedings of the 24th All-Russian Scientific Conference (September 19-22, 2022, online)"
Authors: Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzoova O.A.
OntoMath Digital Ecosystem: Semantic Service and Mathematical Ontologies
Abstract:
New directions of development of the digital ecosystem OntoMath, which is the technological basis of the digital mathematical library Lobachevskii DML, are presented. One of the directions is related to the development of specialized ontologies in the field of mathematics: new results of designing the ontology of professional mathematical knowledge OntoMathPRO and educational ontology OntoMathEdu are highlighted. The results are also given in the direction of creating services and tools for managing of digital mathematical collections.
Keywords:
Digital Ecosystem, OntoMath Ecosystem, Онтология, OntoMathPRO, OntoMathEdu, Lobachevskii DML
Publication language: russian,  pages: 12 (p. 167-178)
Russian source text:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Elizarov Aleksandr Mikhajlovich,  amelizarov@gmail.comorcid.org/0000-0003-2546-6897Institute of Information Technologies and Intelligent Systems of Kazan (Volga Region) Federal University; N. I. Lobachevskii Institute of Mathematics and Mechanics KFU; Joint Supercomputer Center of the Russian Academy of Sciences in Kazan
  • Kirillovich Alexander Vitalevich,  alik.kirillovich@gmail.comorcid.org/0000-0001-9680-449X,  Joint Supercomputer Center of the Russian Academy of Sciences in Kazan
  • Lipachev Evgeny Konstantinovich,  elipachev@gmail.comorcid.org/0000-0001-7789-2332Institute of Information Technologies and Intelligent Systems of Kazan (Volga Region) Federal University; N. I. Lobachevskii Institute of Mathematics and Mechanics KFU
  • Nevzoova Olga Avenirovna,  onevzoro@gmail.comorcid.org/0000-0001-8116-9446Institute of Computational Mathematics and Information Technology KFU