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

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

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

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

Основной каталоги программ по средствам SemanticWeb:

на SemanticTools

на странице консорциума W3C - более актуален, обновляется

Основной портал по вопросам, касающимся онтологий

на сайте DAML - ИС не только для DAML, но и OWL и много чего ещё

на странице Онтолинж-КАОН