OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management

TL;DR

This paper presents the OntoMath digital ecosystem, integrating ontologies, text analysis, and recommender systems to enhance mathematical knowledge management and support the creation of a global digital mathematical library.

Contribution

It introduces new ontologies and tools for managing mathematical knowledge within a digital ecosystem, advancing the development of interconnected mathematical repositories.

Findings

Development of the Mocassin ontology for logical structure of documents

Creation of the OntoMathPRO ontology of mathematical knowledge

Implementation of text analysis and recommender systems for mathematical documents

Abstract

In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the basis of a specialized digital ecosystem OntoMath which consists of the ontology of the logical structure of mathematical documents Mocassin and ontology of mathematical knowledge OntoMathPRO, tools of text analysis, recommender system and other applications to manage mathematical knowledge. The studies are in according to the ideas of creating a distributed system of interconnected repositories of digitized versions of mathematical documents and project to create a World Digital Mathematical Library.