Описывается некоторый язык для спецификации онтологий, входящий в систему «Бинарная Модель Знаний», которая предназначена для спецификации и интерпретации онтологий. Определен синтаксис, денотативная и операционная семантика этого языка. Рассматривается записанная в этом языке онтология, представляющая известную задачу Steamroller. Показано, как можно решить эту задачу, используя продукционный вывод.
