A Fine-Grained Approach to Resolving Unsatisfiable Ontologies | IEEE Conference Publication | IEEE Xplore