Summary
Spatial relations include mereological relations such as parthood and overlap, topological relations such as connectedness and one-pieceness, as well as location relations. The location and the arrangement of an anatomical structure within the human body can be further specified by means of relations that express spatial orderings in a qualitative way, e.g. superior, anterior, lateral, etc. In this chapter we give an overview of the various kinds of spatial relations and their properties. We particularly focus on properties of spatial relations that can be exploited for automated reasoning. We also discuss the distinction between so-called individual-level and type-level spatial relations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Beck and S. Schulz. Logic-based remodeling of the digital anatomist foundational model. In AIMA Annual Symposium Proceedings, pages 71–75, 2003.
T. Bittner and M. Donnelly. Logical properties of foundational mereotopological and adjacency relations in bio-ontologies. Technical report, Department of Philosophy, State University of New York at Buffalo, 2007.
T. Bittner and M. Donnelly. Logical properties of foundational relations in bio-ontologies. Artificial Intelligence in Medicine, 39:197–216, 2007.
T. Bittner, M. Donnelly, and B. Smith. Individuals, universals, collections: On the foundational relations of ontology. In A.C. Varzi and L. Vieu, editors, Proceedings of the third International Conference on Formal Ontology in Information Systems, FOIS04, volume 114 of Frontiers in Artificial Intelligence and Applications, pages 37–48. IOS Press, 2004.
T. Bittner and L. J. Goldberg. The qualitative and time-dependent character of spatial relations in biomedical ontologies. Bioinformatics, doi: 10.1093/bioinformatics/btm155, 2007.
R. Casati and A. C. Varzi. Parts and Places. Cambridge, MA: MIT Press, 1999.
A.G. Cohn, D.A. Randell, and Z. Cui. Taxonomies of logically defined qualitative spatial relations. International Journal of Human Computer Studies, 43:831–846, 1995.
I.M. Copi. Symbolic Logic. Prentice Hall, 1979.
M. Donnelly. An Axiomatization of Common-Sense Geometry. PhD thesis, University of Texas at Austin, 2001.
M. Donnelly. A formal theory for reasoning about parthood, connection, and location. Journal of Artificial Intelligence, 160:145–172, 2004.
M. Donnelly. On parts and holes: The spatial structure of the human body. In M. Fieschi, E. Coiera, and Y. J. Li, editors, Proceedings of the 11th World Congress on Medical Informatics (MedInfo-04), pages 351–356, 2004.
M. Donnelly. Containment relations in anatomical ontologies. In AIMA Annual Symposium Proceedings, pages 206–210, 2005.
M. Donnelly and T. Bittner. Spatial relations between classes of individuals. In D. Mark and T. Cohn, editors, Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. International Conference (COSIT 2005), number 3693 in Lecture Notes in Computer Science, pages 182 – 199. Springer Verlag, 2005.
M. Donnelly, T. Bittner, and C. Rosse. A formal theory for spatial representation and reasoning in bio-medical ontologies. Artificial Intelligence in Medicine, 36(1):1–27, 2006.
R. K. Goyal and M. J. Egenhofer. The direction-relation matrix: A representation for direction relations between extended spatial objects. In UCGIS Annual Assembly and Summer Retreat, Bar Harbor, ME, USA, 1997.
U. Hahn, S. Schulz, and M. Romacker. Partonomic reasoning as taxonomic reasoning in medicine. In Proceedings of the 16th National Conference on Artificial Intelligence and 11th Innovative Applications of Artificial Intelligence Conference, pages 271–276, 1998.
Jos’e L. V. Mejino Jr. and Cornelius Rosse. Symbolic modeling of structural relationships in the foundational model of anatomy. In KR-MED, pages 48–62, 2004.
D. M. Laskin, C. S. Greene, and W. L. Hylander, editors. TMJs - An Evidence Based-Approach to Diagnosis and Treatment. Quintessence Books, Chicago, 2006.
D. Papadias and T. Sellis. On the qualitative representation of spatial knowledge in 2d space. VLDB Journal, Special Issue on Spatial Databases, pages pp. 479–516, 1994.
J. Rogers and A. Rector. GALEN’s model of parts and wholes: experience and comparisons. In Proceedings of the AMIA Symp 2000, pages 714–8, 2000.
C. Rosse and J. L. V. Mejino. A reference ontology for bioinformatics: The Foundational Model of Anatomy. Journal of Biomedical Informatics, 36:478–500, 2003.
S. Schulz and U. Hahn. Mereotopological reasoning about parts and (w)holes in bioontologies. In C. Welty and B. Smith, editors, Formal Ontology in Information Systems. Collected Papers from the 2nd International Conference, pages 210 – 221, 2001.
S. Schulz and U. Hahn. Parts, locations, and holes: Formal reasoning about anatomical structures. In S. Quaglini, P. Barahona, and S. Andreassen, editors, Artificial Intelligence in Medicine. Proceedings of the 8th Conference on Artificial Intelligence in Medicine in Europe – AIME2001, Lecture Notes in Artificial Intelligence, pages 293 – 303. Berlin: Springer, 2001.
S. Schulz and U. Hahn. Representing natural kinds by spatial inclusion and containment. In R. Lopez de Mantaras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence, pages 283–287. IOS Press, Amsterdam, 2004.
S. Schulz, U. Hahn, and M. Romacker. Modeling anatomical spatial relations with description logics. In AMIA 2000 – Proceedings of the Annual Symposium of the American Medical Informatics Association, pages 779 – 783, 2000.
P. Simons. Parts, A Study in Ontology. Clarendon Press, Oxford, 1987.
B. Smith, W. Ceusters, B. Klagges, J. KÖhler, A. Kumar, J. Lomax, C. Mungall, F. Neuhaus, A. Rector, and C. Rosse. Relations in biomedical ontologies. Gnome Biology, 6(5):r46, 2005.
B. Smith and C. Rosse. The role of foundational relations in the alignment of biomedical ontologies. In M. Fieschi, E. Coiera, and Y. J. Li, editors, Proceedings of the 11th World Congress on Medical Informatics, pages 444–448, 2004. 326 Bittner, Donnelly, Goldberg, and Neuhaus
K.A. Spackman. Normal forms for description logic expressions of clinical concepts in SNOMED RT. Journal of the American Medical Informatics Association, pages 627–631, 2001. Symposium Supplement.
A. Varzi. Mereology. In Edward N. Zalta, editor, Stanford Encyclopedia of Philosophy. Stanford: CSLI (internet publication), 2003.
M. Worboys. Metrics and topologies for geographic space. In M.J. Kraak and M. Molenaar, editors, Advances in Geographic Information Systems Research II: Proceedings of the International Symposium on Spatial Data Handling, Delft, pages 7A.1–7A.11. International Geographical Union, 1996.
M. F. Worboys. Nearness relations in environmental space. International Journal of Geographical Information Science, 15(7):633–651, 2001.
Editor information
Rights and permissions
Copyright information
© 2008 Albert Burger, Duncan Davidson, Richard Baldock
About this chapter
Cite this chapter
Bittner, T., Donnelly, M., Goldberg, L.J., Neuhaus, F. (2008). Modeling Principles and Methodologies - Spatial Representation and Reasoning. In: Burger, A., Davidson, D., Baldock, R. (eds) Anatomy Ontologies for Bioinformatics. Computational Biology, vol 6. Springer, London. https://doi.org/10.1007/978-1-84628-885-2_15
Download citation
DOI: https://doi.org/10.1007/978-1-84628-885-2_15
Publisher Name: Springer, London
Print ISBN: 978-1-84628-884-5
Online ISBN: 978-1-84628-885-2
eBook Packages: Computer ScienceComputer Science (R0)