Principles of organizing the semantic ontology of programming

Abstract

A promising way to improve the programming process is increasing the declarativeness of programming, approximation to natural language on the base of accumulating and actively using knowledge. The essence of the proposed approach is representing the semantics of a program in the form of a set of concepts about actions, participants, resources and relations between them, accumulation and classification of machine-readable knowledge of computer programs in order to increase the degree of automation of programming. The novelty of the presented work is retrieving relevant precedents by the given description of resources and actions under them. The paper describes the ontological model of a program, considers the technology of programming using ontologies, gives an example of definition of the semantics of a problem, and discusses the positive aspects of the proposed approach.