progress on getting explanations for inconsistent ontologies, where possible