Инструменты для работы с онтологиями

Языки представления онтологий

Программные среды для языков

Движки логического вывода - ищу также данные о сути лог. вывода на онтологии

Основной каталог по конкретным средствам: на SemanticTools
Основной портал по всему-всему: на странице Онтолинж-КАОН