There is a prominent trend to augment and improve the formality of biomedical ontologies. For example, this is shown by the current e®ort on adding description logic axioms, such as disjointness. One of the key ontology applications that can take advantage of this e®ort is the conceptual (functional) similarity measurement. The presence of description logic axioms in biomedical ontologies make the current structural or extensional approaches weaker and further away from providing sound semantics-based similarity measures. Although bene¯cial in small ontologies, the exploration of description logic axioms by semantics-based similarity measures is computational expensive. This limitation is critical for biomedical ontologies that normally contain thousands of concepts. Thus in the process of gaining their rightful place, biomedical functional similarity measures have to take the journey of¯nding how this rich and powerful knowledge can be fully explored while keeping feasible computational costs. This manuscript aims at promoting and guiding the development of compelling tools that deliver what the biomedical community will require in a near future: a next-generation of biomedical similarity measures that e±ciently and fully explore the semantics present in biomedical ontologies.