Високошвидкісний reasoner OWL2 DL, реалізований у C++ і оптимізований для великих, виразних онтологій. Підтримує паралельні обчислення, ефективне використання пам’яті та швидку класифікацію, що робить його придатним для production-сервісів із високим навантаженням. Забезпечує повне міркування для OWL2 DL (наскільки дозволяє конфігурація), часто швидший за чисто Java-реалізації. SHACL/SPIN - поза зоною відповідальності reasoner’а.