Формальна модель подання знань у системі онтологічного моделювання задач

Abstract

Розглянуто математичну формалізацію системи онтологічного моделювання процесу розв’язання задач. Для її побудови використано апарат алгебраїчної теорії систем. Розроблено формальне подання онтологічних моделей та системи їх опрацювання. In this paper we propose a formalization of ontology-based task execution modelling system. It is built using approach of algebraic systems theory. We show that proposed algebraic system is based on multiple domains, which can be used for ontological models representation and knowledge elucidation, storage and processing.