Formal classification of medical concept descriptions: graph-oriented operators

A crucial component of a medical concept representation system is the classifier. It requires features that are not sufficiently supported by current logic based formalisms like description logics and conceptual graphs. Those features are, for instance, the representation of partitive and spatial relations and their impact on subsumption. This paper introduces graph oriented classification operators for a concept representation language with normal forms. Emphasis is on the separation of generic and partitive relations and on the mutual interdependence of subsumption and part-whole. For that purpose operators are given for formal subsumption, formal part-whole, subsumptive part-whole and part-sensitive subsumption. These operators are based on the formal structure of concept descriptions and on explicitly introduced generic and partitive relationships between their constituents.