Biomedical ontologies: what part-of is and isn't

Mereological relations such as part-of and its inverse has-part are fundamental to the description of the structure of living organisms. Whereas classical mereology focuses on individual entities, mereological relations in biomedical ontologies are generally asserted between classes of individuals. In general, this practice leaves some basic issues unanswered: type constraints of mereological relations, e.g., concerning artifacts and biological entities, the relation between parthood and time, inferred parts and wholes as well as a delimitation of parthood against spatial inclusion. Furthermore, mereological relations can be asserted not only between physical objects but also between biological processes and medical procedures. We analyze these ambiguities and make suggestions for a standardization of mereological relations in biomedical ontologies.