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