Abstract:

This article provides an overview of existing solutions for semantic analysis of mathematical documents, and also presents a method for automatic semantic analysis of documents in PDF format. This method searches for local variables in the text of the article, extracts their definitions and connects concepts with formulas. The advantage of the method over the existing ones is independence from the markup of the original PDF document, which expands the scope of the method. We provide estimates of recall, precision and F-measure for algorithms for finding variables and linking local variables with formulas. The resulting semantic markup of the document will be used to create a collection of documents suitable for the semantic formula search service, which is part of the set of services of the Lobachevskii-DML digital publishing system.

Abstract: Annotating the information resources in the frame of XML platform is a topical problem. The formation of knowledge base on the basis of formal statements allows one to process semantically the contents of information resources distributed in the Internet with help of the reasoners. In this paper the approach to description of molecular spectroscopy information resources is described.