Seol mar théacs é seo: Repairing Ontologies for Incomplete Reasoners