Семантический анализ описаний систем управления промышленными процессами на основе стандарта IEC 61499 с использованием онтологий
Представлена Web-онтология систем управления промышленными процессами, построенных в соответствии с новым международным стандартом IEC 61499. Математической основой онтологии являются дескриптивная логика и логика хорновских дизъюнктов, а языками реализации - OWL DL и SWRL. Предлагается метод семантического анализа описаний систем управления на основе определения в онтологии так называемых "семантически правильных" классов.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В. Н. Дубинин, В. В. Вяткин
СЕМАНТИЧЕСКИЙ АНАЛИЗ ОПИСАНИЙ СИСТЕМ
УПРАВЛЕНИЯ ПРОМЫШЛЕННЫМИ ПРОЦЕССАМИ
НА ОСНОВЕ СТАНДАРТА IEC 61499
С ИСПОЛЬЗОВАНИЕМ ОНТОЛОГИЙ1
Аннотация. <...> Математической основой онтологии являются дескриптивная
логика и логика хорновских дизъюнктов, а языками реализации – OWL DL
и SWRL. <...> Предлагается метод семантического анализа описаний систем управления
на основе определения в онтологии так называемых «семантически правильных»
классов. <...> Это интеллектуальные
распределенные компонентно-базированные системы на основе
функциональных блоков (ФБ). <...> Функциональный блок (ФБл) является
основными артефактом проектирования в стандарте IEC 61499. <...> Для увеличения
выразительной силы в совокупности с ДЛ используется логика хорновских
дизъюнктов, являющаяся фрагментом логики первого порядка [4]. <...> В данной работе (частично) представляется онтология систем управления
промышленными процессами, построенных в соответствии с новым международным
стандартом IEC 61499, и предлагается метод семантического
анализа описаний систем, основанный на определении в онтологии так называемых
«семантически правильных» классов. <...> Подходы, предложенные в статье,
будут демонстрироваться на примере системы ФБ (из работы [6]), приведенной
на рис. <...> Следует различать
ФБл-тип и ФБл-экземпляр, именуемый в стандарте компонентным ФБл. <...> Описание интерфейсов
Каждый ФБ имеет интерфейс, представляющий собой набор событийных
и информационных входов и выходов. <...> Несмотря на определенную схожесть,
будем различать интерфейсы ФБ-типов и компонентных ФБ. <...> Семантически правильный
класс строится на основе соответствующего базового «синтаксически
правильного» класса, но при этом в его определение включаются дополнительные
семантические свойства и ограничения, полученные из анализа
текста стандарта или практики его использования. <...> Поволжский регион сводится к поиску в базовом классе экземпляров, не отнесенных к семантически правильному классу <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: