Високопродуктивний reasoner для профілю OWL 2 EL, оптимізований під дуже великі таксономії та інкрементальну класифікацію. Забезпечує швидке обчислення ієрархій класів і перевірку узгодженості там, де потрібна максимальна швидкість у production. Стабільний, добре інтегрується з Protégé та серверними стеком. Підтримує OWL2 EL повністю, але не покриває OWL2 DL поза профілем. SHACL/SPIN виконуються окремими валідаторами.