Mereotopological reasoning in anatomy.
Applications in the field of computer assisted Surgery (e.g. navigation, robotics, simulation) need consistent formal models of anatomical part-whole relationship (mereology) and neighborhood (topology) to enable automated spatial reasoning. We investigated mereotopological theories in terms of their suitability for providing a logical background for such models. The so far results indicate a need for a more spatially motivated classification of anatomical structures to allow a consistent and logical-based mereotopological modelling.
Pontow
Carsten
C
Institute for Medical Knowledge Representation and Visualization (IMWV), University of Health Informatics and Technology Tyrol (UMIT), Innsbruck, Austria. carsten.pontow@umit.at
Schubert
Rainer
R
D000715:Anatomy / Q000145:classification*; D019412:Anatomy, Cross-Sectional; D006801:Humans; D007091:Image Processing, Computer-Assisted; D008953:Models, Anatomic; D025321:Surgery, Computer-Assisted; D017432:Unified Medical Language System; D018875:Vocabulary, Controlled