SymMod: Symbolic Modelling
Objective and contents : The aim of this project is the computation of geometric and topological relations between three-dimensional computer models of anatomical entities. This includes:
- the analysis of suitable predicate logic theories of parthood and neighbourhood relations from formal ontology (mereotopologies) and their mathematical equivalents (set theory, point-set topology),
- the transposition of these theories in an algorithmic framework,
- the design, analysis and implementation of algorithms generating geometric and topological raw data from which the respective relations can be derived.
State : Ongoing; associated master thesis from Florian Dazinger: “Extraction and Processing of Geometric and Topological Data from 3d-Computer Models of Anatomical Entities.” (ongoing).
Pontow C, Schubert R, A Mathematical Analysis of Theories of Parthood (submitted)
Pontow C, A Note on the Axiomatics of Theories in Parthood. Data & Knowledge Engineering 50 (2004), 195-213, (available on www.sciencedirect.com )
Pontow C, Schubert R, Mereotopologisches Schließen in der Anatomie. GMDS 2004 (Poster), Innsbruck, http://www.egms.de/en/meetings/gmds2004/04gmds345.shtml.
Pontow C, Schubert R: Mereotopological Reasoning in Anatomy. AMIA 2003 Symposium Proc., p. 974 (Poster), Washington D.C., 2003
Discretization of the boundary of a three-dimensional anatomical entity