TY - RPRT TI - Direct computation of diagnoses for ontology debugging AU - Kostyantyn Shchekotykhin AU - Philipp Fleiss AU - Patrick Rodler AU - Gerhard Friedrich PY - 2012 UR - https://arxiv.org/abs/1209.0997 ID - 1209.0997 ER -