Формальна модель подання знань у системі онтологічного моделювання задач
In this paper we propose a formalization of ontology-based task execution modeling 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