2000 character limit reached
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management (1702.05112v1)
Published 16 Feb 2017 in cs.DL and cs.AI
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.