Methods for Analyzing Semantic Data of Electronic Collections in Mathematics

摘要

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.