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

А онтологи -- это декларативные модельеры. Но не программисты. Однако, если к онтологиям добавить рулез (rules), то получаем уже полноценные программы. В то же время, прогреммеры часто неявно занимаются работой с онтологиями: иерархия классов, типы сообщений, схема БД - это все тоже онтологии. Так что грань довольно условна.