The semantic context models of mathematical formulas in scientific papers

© 2018 CEUR-WS. All Rights Reserved. This paper describes the results of semantic annotating and semantic search in a mathematical collection. We explored semantic models of contexts of a mathematical formula and applied the new knowledge to improving semantic search. The solutions are based on the application of the previously developed OntoMathPro ontology

Annotation of mathematical formulas in PDF documents

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 theoriginal PDF document, which expands the scope of the method. We provide estimates of recall, precision and Fmeasure 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 digitalpublishing system

The semantic context models of mathematical formulas in scientific papers

© 2018 CEUR-WS. All Rights Reserved. This paper describes the results of semantic annotating and semantic search in a mathematical collection. We explored semantic models of contexts of a mathematical formula and applied the new knowledge to improving semantic search. The solutions are based on the application of the previously developed OntoMathPro ontology