Logic-Based Representation of Connectivity Routes in the Immune System

  • Pierre Grenon
  • Bernard de Bono
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6825)


This work is part of a general treatment of physiological phenomena grounded on connectivity between anatomical compartments. As a number of immune-related mechanisms may be formally described in terms of white cell movement across body compartments, this paper is concerned with the representation of routes of connectivity in the immune system, focusing on its lymphatic part. The approach relies on ontologies and their expression in a logic-based language supporting spatial knowledge representation and reasoning. The paper discusses informally, and provides elements of formalisation for, a core ontology of the immune system. This ontology is designed to support the representation of topological aspects of immune phenomena at the levels of systems and subsystems of connected tissues, organs, and conduits. The result is a theory i) grounding the representation of immune-related mechanisms on spatial relationships between immunological sites and ii) allowing to infer affordances that relations between sites create for agents.


Lymphatic System Thoracic Duct Lymphatic Node Lymphatic Capillary Translocation Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Smith, B.: Ontology. In: The Blackwell Guide to the Philosophy of Computing and Information, pp. 153–166. Blackwell Publishing Ltd, Malden (2008)CrossRefGoogle Scholar
  2. 2.
    Grenon, P., de Bono, B.: Cardiovascular System Ontology: Topology (manuscript in preparation)Google Scholar
  3. 3.
    Open Biomedical Ontologies,
  4. 4.
  5. 5.
    Rosse, C., Mejino, J.: A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy. Journal of Biomedical Informatics 36, 478–500 (2003)CrossRefGoogle Scholar
  6. 6.
    Bard, J., Rhee, S., Ashburner, M.: An ontology for cell types. Genome Biology 6(2) (2005)Google Scholar
  7. 7.
    Grenon, P., Smith, B.: SNAP and SPAN. Spatial Cognition and Computation 4(1), 69–104 (2004)CrossRefGoogle Scholar
  8. 8.
    Casati, R., Varzi, A.: The Structure of Spatial Localization. Philosophical Studies 82(2), 205–239 (1996)CrossRefGoogle Scholar
  9. 9.
    Smith, B., Broogart, B.: Sixteen Days. The Journal of Medicine and Philosophy 28(1), 45–78 (2003)CrossRefGoogle Scholar
  10. 10.
    Smith, B., et al.: Relations in Biomedical Ontologies. Genome Biology 6 (2005)Google Scholar
  11. 11.
    Smith, B., Grenon, P.: The Cornucopia of Formal-Ontological Relations. Dialectica 58(3), 279–296 (2004)CrossRefGoogle Scholar
  12. 12.
    Pool, M.: An Applied Calculus for Spatial Accessibility Reasoning. Journal of Universal Computer Science 9(9), 986–1007 (2003)MathSciNetGoogle Scholar
  13. 13.
    Smith, B.: Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineerring 20, 287–303 (1996)CrossRefzbMATHGoogle Scholar
  14. 14.
  15. 15.
    Knowledge Interchange Format (dpANS),

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Pierre Grenon
    • 1
  • Bernard de Bono
    • 1
  1. 1.European Bioinformatics InstituteUK

Personalised recommendations