Matthew Horridge Bijan Parsia Ulrike Sattler Explaining Inconsistencies in OWL Ontologies. 124-137 2009 SUM http://dx.doi.org/10.1007/978-3-642-04388-8_11 conf/sum/2009 db/conf/sum/sum2009.html#HorridgePS09