Providing explanations for inconsistency

[dosumis]

We use ROBOT in our knowledge-base build pipeline and need efficient ways to identify individuals causing inconsistency & from there get explanations for this inconsistency. Using Protege to debug doesn't scale well for a large and growing A-box. Would it be possible to generate reports we could use for this? It may be sufficient to just report the first n explanations for inconsistency - similar to the way Protege allows searching for explanations to be halted after some have been found.

[dosumis]

@matentzn - ticket as requested - don't seem to be able to assign you.

[matentzn]

@jamesaoverton will do that when he gets to it :) Thanks David!

[jamesaoverton]

ROBOT can explain specified axioms and has a --max parameter to limit the number of explanations: http://robot.obolibrary.org/explain

We haven't hooked that up to explain inconsistencies, but @cmungall created issues #686 and #329. I'd love to see this in ROBOT.

[balhoff]

Yeah this was just kind of an oversight when I added explain. Seems like it will not be hard to include inconsistency.

[beckyjackson]

I believe #779 resolved this. Please reopen if you need.