Modeling anatomical spatial relations with description logics

Although spatial relations are essential for the anatomy domain, spatial reasoning is only weakly supported by medical knowledge representation systems. To remedy this shortcoming we express spatial relations that can intuitively be applied to anatomical objects (such as 'disconnected', 'externally connected', 'partial overlap' and 'proper part') within the formal framework of description logics. A special encoding of concept descriptions (in terms of SEP triplets) allows us to emulate spatial reasoning by classification-based reasoning.