This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis
March 2013 (vol. 35 no. 3)
pp. 568-581
D. A. Randell, Sch. of Dentistry, Univ. of Birmingham, Birmingham, UK
G. Landini, Sch. of Dentistry, Univ. of Birmingham, Birmingham, UK
A. Galton, Coll. of Eng., Math. & Phys. Sci., Univ. of Exeter, Exeter, UK
Discrete mereotopology (DM) is a first-order spatial logic that fuses together mereology (the theory of parthood relations) and topology to model discrete space. We show how a set of quasitopological functions defined within DM can be mapped to specific operators defined in mathematical morphology (MM) and easily implemented in scientific image processing programs. These functions provide the means to model topological properties of individual regions and spatial relations between them such as contact, overlap, and the relation of part to whole. DM not only extends the expressive power of image processing applications where mathematical morphology is used, but by functioning as a logic it also supplies the formal basis with which to prove the correctness of implemented algorithms as well as providing the computational basis to mechanically reason about segmented digital images using automated reasoning programs. In particular, we show how DM can supply a model-based and algorithmic context to the otherwise blind pixel-based image processing routines still dominating conventional imaging approaches. A number of worked examples drawn from the histological domain are given, including segmentation of cells in culture, identifying basal cell layers from stratified epithelia sections, and cell sorting in blood smears.
Index Terms:
Delta modulation,Image segmentation,Mathematical model,Cognition,Imaging,Morphology,representation languages,Life and medical sciences,knowledge representation formalisms and methods,morphological,modeling methodologies
Citation:
D. A. Randell, G. Landini, A. Galton, "Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 35, no. 3, pp. 568-581, March 2013, doi:10.1109/TPAMI.2012.128
Usage of this product signifies your acceptance of the Terms of Use.