Heiner Stuckenschmidt Debugging OWL Ontologies - A Reality Check. 2008 EON http://ceur-ws.org/Vol-359/Paper-1.pdf conf/eon/2008 db/conf/eon/eon2008.html#Stuckenschmidt08