A formal theory for spatial representation and reasoning in biomedical ontologies

作者：

Highlights：

•

摘要

ObjectiveThe objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomedical ontologies and for enhancing their automatic reasoning capabilities.

论文关键词：Ontology,Knowledge representation,Anatomy,Mereology,Spatial reasoning

论文评审过程：Received 10 January 2005, Revised 29 July 2005, Accepted 30 July 2005, Available online 24 October 2005.

论文官网地址：https://doi.org/10.1016/j.artmed.2005.07.004