The development of powerful, ubiquitous and comprehensive medical ontologies that support formal reasoning on a large scale is one of the key requirements for clinical computing. Taxonomic medical knowledge, a major portion fo these ontologies, is fundamentally characterized by is-a and part-whole relationships between concepts. While reasoning in generalization hierarchies is a well-understood process, no fully conclusive mechanism yet exists for part-whole reasoning. We here propsoe a new representation construct for part-whole relations based on the formal framework of description logics, i.e. the well-known concept language ALC, and show how part-whole reaoning can naturally be emulated via classification-based reasoning without extending the expressiveness of the underlying terminological system.
展开▼
