Abstract

BACKGROUND In biomedical ontologies, mereological relations have always been subject to special interest due to their high relevance in structural descriptions of anatomical entities, cells, and biomolecules. This paper investigates two important subrelations of has_proper_part, viz. the relation has_grain, which relates a collective entity to its multiply occurring uniform parts (e.g., water molecules in a portion of water), and the relation has_component, which relates a compound to its constituents (e.g., molecules to the atoms they consist of). METHOD We distinguish between four kinds of complex entities and characterize them in first order logic. We then discuss whether similar characterizations could be given in description logics, and finally apply the results to mixtures. RESULTS At first sight, collectives and compounds seem to be disjoint categories. Their disjointness, however, relies on agreement about what are uniform entities, and thus on the granularity of description. For instance, the distinction between isomeric subtypes of a molecule can be important in one use case but might be neglected in another one. We demonstrate that, as implemented in the BioTop domain upper level ontology, equivalence or subsumption between different descriptions of same or similar entities cannot be achieved. Using OWL-DL, we propose a new design pattern that avoids primitive subrelations at the expense of more complex descriptions and thus supports the needed inferences.