Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis

• Published in: IEEE transactions on pattern analysis and machine intelligence Vol. 35; no. 3; pp. 568 - 581
• Main Authors: Randell, D. A., Landini, G., Galton, A.
• Format: Journal Article
• Language: English
• Published: Los Alamitos, CA IEEE 01.03.2013; IEEE Computer Society
• Subjects: Algorithms; Animals; Applied sciences; Artificial intelligence; Biological and medical sciences; Blood Cells - cytology; Cells, Cultured; Cognition; Computer science; control theory; systems; Delta modulation; Exact sciences and technology; Histocytochemistry - classification; Humans; Image Processing, Computer-Assisted - methods; Image segmentation; Imaging; Investigative techniques, diagnostic techniques (general aspects); knowledge representation formalisms and methods; Learning and adaptive systems; Life and medical sciences; Mathematical model; Medical sciences; Mice; modeling methodologies; Models, Theoretical; morphological; Morphology; NIH 3T3 Cells; Pattern recognition. Digital image processing. Computational geometry; representation languages; Cell culture; Mereology; Ontology; Image processing; Life and medical sciences; modeling methodologies; Algorithmics; representation languages; Modeling; Medical science; First order logic; Overlay; knowledge representation formalisms and methods; Automated reasoning; morphological; Mathematical operator; Knowledge representation; Histology; Digital image; Context aware; Topology; Mathematical morphology; Sorting; Image segmentation; Image analysis; Blood cell; Spatial reasoning; Automatic analysis; Artificial intelligence
• ISSN: 0162-8828; 1939-3539; 2160-9292; 1939-3539
• DOI: 10.1109/TPAMI.2012.128

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.