Xi Deng, Volker Haarslev, Nematollaah Shiri. A Resolution Based Framework to Explain Reasoning in Description Logics. In Ian Horrocks, Ulrike Sattler, Frank Wolter, editors, Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. Volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.