Part-whole representation and reasoning in formal biomedical ontologies


OBJECTIVE Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic (is-a) and a partonomic (part-of) hierarchy. Commonly used biomedical terminologies, which incorporate such distinctions excel in terms of broad coverage but lack a rigid formal foundation. The latter, however, is a prerequisite for automated reasoning… (More)
DOI: 10.1016/j.artmed.2004.11.005