Scientific documents ontologies for semantic representation of digital libraries

We present a system of services for the automatic processing of collections of scientific documents that are part of digital libraries. These services are based on ontologies for scientific documents representation, as well as on methods for semantic analysis of mathematical documents. The developed tools automatically check validity of documents for compliance with manuscript guidelines, convert these documents into required formats and generate their metadata.