Part-whole reasoning: a case study in medical ontology engineering

Clinical computing requires effective medical ontologies that can support large-scale formal reasoning. Our proposal lets the knowledge engineer, on demand, enable or disable transitivity of part-whole reasoning and part-whole induced concept specialization and role propagation, with respect to commonly shared medical conceptualizations.