Представлена Web-онтология систем управления промышленными процессами, построенных в соответствии с новым международным стандартом IEC 61499. Математической основой онтологии являются дескриптивная логика и логика хорновских дизъюнктов, а языками реализации OWL DL и SWRL. Предлагается метод семантического анализа описаний систем управления на основе определения в онтологии так называемых «семантически правильных» классов.
функциональный блок, онтология, семантический анализ, дескриптивная логика