Без заголовка
Программист пишет компиляторы/IDE для языков моделирования. Эксперт в голове компилирует мир в язык моделирования. Каждый на своем кусочке преобразования мира в компьютерную исполнимую программу.
Это в идеальном мире. На практике, надо учитывать особенности и ограничения имплементации. К примеру, большие онтологии могут очень медленно обрабатываться (классифицироваться). Т.е. для практичности, онтологии нужно структурировать специальным образом.
Ну и далее, как обычно, обработка онтологий будет усложнятся - взять хотя бы проблему маппинга онтологий.
Ну и далее, для практического использования, онтологии нужно дополнять всякими rule engines.
Так что я бы сказал, что программист, который пишет ИДЕ - это системный программист. А эксперт - прикладной :).