Digital OntoMath Ecosystem Tools for Managing and Developing Mathematical Knowledge

This paper presents the OntoMath digital ecosystem. This ecosystem is being developed as a technological basis for the Lobachevskii-DML digital mathematical library, created in accordance with the basic principles of the World Digital Mathematics Library. A two-level architecture of the ecosystem is presented, including the level of ontologies and the level of semantic services based on it. Descriptions of OntoMathPRO ontology of professional mathematics and educational OntoMathEdu ontology are given. The OntoMathPRO ontology is presented in a new version. These ontologies are used in the semantic services of the OntoMath digital ecosystem, including search services for mathematical collections, a recommender system for generating lists of close articles, services for refining subject classifiers, a service semantic annotating mathematical documents, and a service for automatic generation of test questions to test knowledge of leaners in mathematics. The results on the creation of services and tools of the metadata factory for managing digital mathematical collections are presented.