Логический вывод на визуальных графоаналитических УФО-моделях путем интеграции со средствами онтологического инжиниринга

Abstract

Рассмотрен метод логического вывода на визуальных графоаналитических моделях, построенных в терминах "Узел-Функция-Объект". Актуальность задач логического вывода на УФО-моделях обосновывается потребностью в средствах и инструментах машинной обработки визуальных моделей предметных областей при организации управления знаниями. Для решения данных задач разработан новый метод логического вывода на системно-объектных моделях, в основе которого лежит предложенный авторами ранее подход к построению онтологий на основе средств системно-объектного подхода (УФО-подхода)