Fig. 4From: Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologiesMAP Kinase unsatisfiability in the OBO Foundry meta-ontology represented as a graphBack to article page