Xi Deng, Volker Haarslev, Nematollaah Shiri. A Framework for Explaining Reasoning in Description Logics. In Thomas Roth-Berghofer, Stefan Schulz, editors, Explanation-Aware Computing, Papers from the 2005 AAAI Fall Symposium, November 4-6, 2005, Arlington, Virginia. Volume FS-05-04 of AAAI Technical Report, pages 55-61, AAAI Press, 2005.
Abstract is missing.