Буров, Є. В.2014-03-122014-03-122013Буров Є. В. Формальна модель подання знань у системі онтологічного моделювання задач / Є. В. Буров // Вісник Національного університету "Львівська політехніка". – 2013. – № 770 : Інформаційні системи та мережі. – С. 21–30. – Бібліографія: 12 назв.https://ena.lpnu.ua/handle/ntb/23889Розглянуто математичну формалізацію системи онтологічного моделювання процесу розв’язання задач. Для її побудови використано апарат алгебраїчної теорії систем. Розроблено формальне подання онтологічних моделей та системи їх опрацювання. 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.uaбаза знаньматематична модельонтологіяонтологічна модельknowledge basemathematical modelontologyontological modelArticle