@inproceedings{borgida1999,
title = {Explaining ALC Subsumption.},
author = {Alexander Borgida and Enrico Franconi and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider},
booktitle = {Description Logics},
crossref = {conf/dlog/1999},
editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf Möller and Peter F. Patel-Schneider},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog1999.html#BorgidaFHMP99},
volume = {22},
year = {1999},
description = {dblp},
ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/borgida.ps}, date = {2003-04-02},
keywords = {description-logic explaining }
}
::