Без заголовка

Ага, это по линии SBVR, там деонтологическая логика в явном виде поминается -- и как раз в связи с нормами. Кстати, деонтологических движков практически нету, насколько мне известно. В википедии встречается только один, в статье про который написано, что больше их нетути. А ведь, такие движки для системной инженерии очень важны. Типа как нормы - ферст класс ситизены, а значит нужен механизм их информационной поддержки, что и есть деонтологический движок, по сути. Таким образом, создание такого движка - хороший проект для стартапа. Тем более, что фундаментальная теория вполне развита.