@inproceedings{Schlobach03a,
title = {Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.},
author = {Stefan Schlobach and Ronald Cornet},
booktitle = {IJCAI},
crossref = {ijcai2003},
editor = {Georg Gottlob and Toby Walsh},
pages = {355--362},
publisher = {Morgan Kaufmann},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2003.html\#SchlobachC03},
year = {2003},
description = {dblp},
bibsource = {DBLP, http://dblp.uni-trier.de}, date = {2004-05-05},
keywords = {DLs debugging impresso }
}