В. Н. Дубинин, В. В. Вяткин
СЕМАНТИЧЕСКИЙ АНАЛИЗ ОПИСАНИЙ СИСТЕМ
УПРАВЛЕНИЯ ПРОМЫШЛЕННЫМИ ПРОЦЕССАМИ
НА ОСНОВЕ СТАНДАРТА IEC 61499
С ИСПОЛЬЗОВАНИЕМ ОНТОЛОГИЙ1
Аннотация. <...> Представлена Web-онтология систем управления промышленными процессами, построенных в соответствии с новым международным стандартом IEC 61499. <...> Математической основой онтологии являются дескриптивная логика и логика хорновских дизъюнктов, а языками реализации – OWL DL
и SWRL. <...> Ключевые слова: стандарт IEC 61499, функциональный блок, онтология, семантический анализ, дескриптивная логика, SWRL. <...> The mathematical footing of the ontology is a combination of description logic and Horn logic, while the
implementation languages are OWL DL, and SWRL, correspondingly. <...> Введение
В настоящее время в связи с появлением и внедрением в практику
мультиагентных систем и развитием концепции семантического Web большое значение приобретает онтологическое представление знаний [1]. <...> Это интеллектуальные распределенные компонентно-базированные системы на основе функциональных блоков (ФБ). <...> Функциональный блок (ФБл) является
основными артефактом проектирования в стандарте IEC 61499. <...> В данной работе рассматривается онтологический подход к описанию систем управления
на основе стандарта IEC 61499 с использованием дескриптивной логики (ДЛ) <...> База знаний системы представления
знаний (СПЗ) на основе ДЛ состоит из двух компонентов: TBox и ABox. <...> Компонент TBox вводит терминологию, иными словами, словарь предметной
области, в то время как компонент ABox содержит утверждения об именованных представителях (экземплярах) концептов в терминах словаря. <...> Составными частями TBox являются концепты и роли. <...> На основе ДЛ был разработан язык Web-онтологий OWL [5], являющийся одной из основных составных частей семантического Web. <...> Для увеличения выразительной силы в совокупности с ДЛ используется логика хорновских дизъюнктов, являющаяся фрагментом логики первого порядка [4]. <...> Хорновские дизъюнкты могут представляться в виде правил языков логического
программирования, например, Prolog [4, 6 <...>