add documentation on generating and using inference explanations

[balhoff]

Tutorial Request:

I think it would be useful if we had a tutorial or explainer on using explanations in Protégé and ROBOT, for debugging logical issues.

Suggested materials

Your nano-attribution (ORCID)