D. Carral, L. González, and P. Koopmann, “From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment”, AAAI, vol. 33, no. 01, pp. 2736-2743, Jul. 2019.