@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},
	biburl = {http://www.bibsonomy.org/bibtex/29077ccbf00c8a4fc4038801b270ef5e5/thau},
	description = {dblp},
	ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/borgida.ps}, date = {2003-04-02},
	keywords = {description-logic explaining }
}