RIO: Minimizing User Interaction in Ontology Debugging