SMS dit: Repairing Ontologies for Incomplete Reasoners