Использование дескриптивной логики и Web-онтологий в определении визуальных языков

Материалы Международной научно-практической конференции Перспективные технологии искусственного интеллекта, Пенза, 2008.В работе исследуется возможность использования дескриптивной логики (ДЛ), а такжеязыка Web-онтологий OWL для представления визуальных языков, предлагается методикаописания визуальных языков, рассматриваются методы и средства создания онтологического описания визуальных языков, а также пути проверки синтаксиса и семантики диаграмм с использованием систем представления знаний на основе ДЛ. В качестве примера рассматривается визуальный язык функциональных блоков стандарта IEC 61499.В настоящее время большое распространение получают визуальные языки. Примерамивизуальных языков являются язык UML, язык ER-моделей, визуальные языки сетей Петри, атакже другие общецелевые и доменно-ориентированные визуальные языки. Существует несколько различных подходов для определения этих языков. Наиболее часто визуальныеязыки специфицируются с помощью графовых грамматик, различных видов логик, а такжеметамоделей. Предлагается подход на основе атрибутных графов и предикатов, определенных на этих структурах, рассматриваются онтологические описания сетей Петри на основе языков RDF и OWL.В данной работе для определения визуальных языков предлагается использование ДЛ, которая позволяет в рамках единого формализма описывать как структуры и ограничения, так и осуществлять логический вывод, с помощью которого определяется синтаксическая и семантическая корректность описания системы. ДЛ является формализмом для представления знаний.Отличительными особенностями этого формализма являются: формальная семантика; декларативный характер описания; формализм является разрешимым фрагментом логики первого порядка; существуют эффективные алгоритмы логического вывода, в отличие от решателя теорем логики первого порядка процедуры логического вывода в ДЛ всегда завершаемы; 5) системы ДЛ имеют семантику открытого мира, что позволяет специфицировать неполные знания; выразительная сила языка ДЛ ограничена небольшим числом конструкторов для построения сложных концептов и ролей, в зависимости от набора конструкторов различают несколько видов ДЛ; имеется эффективный язык запросов к базе фактов; ДЛ хорошо подходит для спецификации статичных структур, а в определенной области - также и для спецификации поведения систем. Литература