Part-whole reasoning: a case study in medical ontology engineering
Udo Hahn, S. Schulz, Martin Romacker · IEEE Intelligent Systems and their Applications · 1999
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.