KAON2

KAON2 is a high-performance reasoning engine for OWL-DL and DL-safe rules that leverages deductive database techniques for efficient query answering.

Developed at the University of Karlsruhe, KAON2 optimizes OWL-DL reasoning by reducing ontologies to disjunctive datalog programs. This approach shifts the computational burden to a dedicated inference engine capable of handling large-scale ABoxes stored in relational databases. By implementing the SHIQ(D) logic fragment, KAON2 provides a robust framework for SPARQL query processing and rule-based reasoning (specifically DL-safe rules) without the memory overhead common in traditional tableau-based reasoners.

https://on-top.org/kaon2/