As a consequence, the higher the position of the most-specific subsumer for given two concepts in the taxonomy (i.e., the more abstract it is), the lower their similarity.
if the taxonomy has a unique top node, its probability will be 1, so if the most-specific subsumer of a pair of concepts is the top node, their similarity will be − log(1) = 0, as desired.