In this paper we present an ontological perspective on ongoing work in histological and histopathological imaging involving the quantitative and algorithmic analysis of digitised images of cells and tissues. We present the derivation of consistent histological models from initially captured images of prepared tissue samples as a progression through a number of ontological levels, each populated by its distinctive classes of entities related in systematic ways to entities at other levels. We see this work as contributing to ongoing efforts to provide a consistent and widely accepted suite of ontological resources such as those currently constituting the OBO Foundry, and where possible we draw links between our work and existing ontologies within that suite.

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.