Jiewen Wu, Volker Haarslev. Planning of Axiom Absorption. 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.