A high‑performance OWL2 DL reasoner implemented in C++ and optimized for large, expressive ontologies. It supports parallel processing, efficient memory usage, and fast classification, making it suitable for high‑load production services. It aims at complete OWL2 DL reasoning (depending on configuration and input features) and is often faster than pure Java reasoners on large models. SHACL/SPIN validation is typically handled outside the reasoner.