Abstract
Semantic checking of railway infrastructure information support data is one of the ways to improve the consistency of information system data and, as a result, increase the safety of train traffic. Existing ontological developments have demonstrated the applicability of description logic for modelling railway transport, but have not paid enough attention to the data resources structure and the railway regulatory support. In this work, the formalization of the tabular presentation of data and the rules of railway transport regulations is carried out using the example of a connection track passport and temporary speed restrictions using ontological means, data wrangling and extraction tools. Ontologies of the various formats data resources and railway station infrastructure, tools for converting and extracting data have been developed. The semantic checking of the compliance of railway information system data with regulatory documents in terms of the connection track passport is carried out on the basis of a multi-level concretization model and integration of ontologies. The mechanisms for implementing the constituent ontologies and their integration are demonstrated by an example. Further research includes ontological checking of natural language normative documents of railway transport.