SEMANTIC FEATURES OF TECHNICAL DOCUMENTATION: ONTOLOGICAL VIEW OF THE PROBLEMS OF CORRECTNESS
In the paper, the specifics of the genre of technical documentation are examined with regard to extracting the content information necessary to analyze the correctness of the specifications set before the task developers. A distinctive feature of the proposed approach is the use of ontology as a link between text and formal verification. The objects and processes described in the text are determined by a set of ontologies: the ontology of requirements, the ontology of processes and distributed systems, and the ontology of the control object. The ontology of the control object is defined within the semantic dictionary and includes concepts describing special objects and characteristics used in a particular control system.