David Carral, Larry González, Patrick Koopmann. From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.