Carral, D.; González, L.; Koopmann, P. From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. AAAI 2019, 33, 2736-2743.