Francis Gasse, Ulrike Sattler, Volker Haarslev. Rewriting Rules into SROIQ Axioms. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.