Base revision for ontology debugging - Ribeiro, Márcio Moretto; Wassermann, Renata (Journal of Logic and Computation, 2009)