Fig. 2From: Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologiesAlgorithm for automatic diagnosis and repair of unsatisfiable classes in an ontologyBack to article page