Enviar por SMS: Repairing Ontologies for Incomplete Reasoners