OWL Logic, с гордо присвоенной версией 1.0.
Дядя-создатель Guido Naudts уже читает письмо с вопросами относительно логического вывода.

• Пока я вижу, что OWL-онтологии представленные в виде N-3 успешно парсятся. Представлять в виде N3 поможет Protege - export to N3.
• Большие онтологии вызывают проблемы.
• Среди функций есть такие хорошие вещи, как getInverse, getDomain, getRange. Классы не используются. - какой интерфейс общения??
• вывод, по-видимому произодится дружественным им движком CWM или RDFEngine. Смущает факт того, что эти движки - для RDF. Наверное, вывод можно произовдить по OWL, преобразованный в тройки N3.
• Смог скачать всё это добро и применить по отношению к имеющимся тесткейсам. Распарсило. Прилагаю архив
• Не смог заставить съесть пример из протеже - pizza.owl. СОздал онтологию на три концепта и скормил - съело.

Как OWL-API - определённо применимо,если научимся преобразовывать OWL в OWL.n3. Исследуется зацеп логического вывода и вопрос преобразования OWL-ек в тройки N3.