Գրեք սա: Repairing Ontologies for Incomplete Reasoners