Tools to identify, diagnose, and semi-automatically repair hidden contradictions in biomedical ontologies - View it on GitHub