Conceived as follow-up to recent efforts destined to supply .owl ontologies with relational tools of greater complexity, the present article focuses on four main paths, all of them consisting in providing biomedical ontologies with formal means to express (1) deviations from normality, (2) topological connectedness, (3) inherence and (4) causality and function
