In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.
A survey of the key approaches to the semantic processing of mathematical texts is presented. A software platform prototype for the electronic storage of mathematical documents, which is based on the linked open-data (LOD) model and uses semantic information for data management, including formula-fragment searching, is proposed. The analysis of mathematical documents and the extraction of semantic information from the latter are carried out based on the electronic collection of the Izv. Vyssh. Uchebn. Zaved., Mat. (1995---2009) using special-purpose ontologies, metadata representation in the RDF (Resource Description Framework) format, and integration with existing LOD sets. This paper analyzes two models: semantic annotation of mathematical texts and semantic searching for mathematical texts in a marked-up collection. It also presents the results of a series of experiments that were performed with a semantically annotated collection of scientific publications in the field of mathematics.