Mathematical Models Ontology of Technological Objects for Industrial Enterprises. Part 2. Ontology Implementation and Verification

Abstract

The article proposes the implementation of an applied ontology of mathematical models of technological objects for the design of a subsystem of decision-making support, which issues recommendations for the mathematical apparatus in relation to the development goals for the automated management of a food enterprise. It consists of 46 entities with corresponding relationships, attributes, and axioms, and is also implemented in the OWL language by the Protege open platform tools, taking into account existing standards and recommendations. In the structure of the ontology, the mathematical model is represented as branches of subclasses with the corresponding sets of attributes, characterized by their relationship to the higher-level model. Within this ontology, 17 types of relationships are presented. Applied ontology passed two stages of verification: structural - based on generally accepted estimates; logical - by testing queries and manually checking the correctness of the results. In particular, examples of model selection using an ontology for virtual sensors are given. The use of the proposed ontology in the structure of the management decision support subsystem increases the efficiency of these decisions, the validity of management actions and the efficiency of the technological component of the enterprise. Also, the ontology can be integrated into the ontology of industrial enterprises tasks or other domain ontologies.