Added a small amount of documentation for inconsistent ontology explanations