Part-whole representation and reasoning in formal biomedical ontologies

Results: We provide a formal basis for ontological engineering in the domain of biomedicine, as far as part-whole relationships are concerned, by addressing typical reasoning patterns encountered in this domain.