@inproceedings{mcguinness1995,
	title = {Explaining Subsumption in Description Logics.},
	author = {Deborah L. McGuinness and Alexander Borgida},
	booktitle = {IJCAI (1)},
	pages = {816-821},
	url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#McGuinnessB95},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2ec7a40be8fdba2387e8838751f47f46a/thau},
	description = {dblp},
	date = {2002-01-03},
	keywords = {description-logic explaining }
}