Reference: A. Borgida, E. Franconi, I. Horrocks, D. L. McGuinness, & P. Patel-Schneider. Explaining ALC subsumption. Knowledge Systems Laboratory, 2000.
Abstract:
Notes: Proceedings of the International Workshop on Description Logics - DL-99, pp 33-36, Linköping, Sweden, July 1999.