Fig. 4From: Matching biomedical ontologies based on formal concept analysisConcept lattice of \( \mathbb {K}_{pro} \) with simplified labelingBack to article page