Provide Explanations for inconsistent ontologies

[jdeck88]

Nice to have explanations provided when there are ontology inconsistencies. Protege can do this but it is SLOW with many instances (testing w/ > 3,000). At any rate, this would be nice to get results from the command-line.

[mjy]

Related. When I get a warnings from ontopilot make like

| WARNING: The label "unilaminar epithelium" is used for more than one IRI in the ontology , including its imports closure. The label "unilaminar epithelium" is associated with the following IRIs: http://purl.obolibrary.org/obo/CARO_0000073, http://purl.obolibrary.org/obo/HAO_0000073. WARNING: The label "simple cuboidal epithelium" is used for more than one IRI in the ontology , including its imports closure. The label "simple cuboidal epithelium" is associated with the following IRIs: http://purl.obolibrary.org/obo/CARO_0000067, http://purl.obolibrary.org/obo/HAO_0000067.

Then I want to generate a import CSV that includes the offending classes, but with the exclude flag set, so that I can quickly exclude the offending classes, or inspect them in isolation at a later thime. This will be very useful when working to compile new ontologies from existing sources.