Text this: Fine-Grained Diagnostics of Ontologies with Assurance