A formal theory for spatial representation and reasoning in biomedical ontologies

Publisher Website

1 January 2006

journal article
Published by Elsevier in Artificial Intelligence in Medicine

Vol. 36 (1) , 1-27
https://doi.org/10.1016/j.artmed.2005.07.004

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence, 2004
Pushing the envelope: challenges in a frame-based representation of human anatomy
Data & Knowledge Engineering, 2004
A reference ontology for biomedical informatics: the Foundational Model of Anatomy
Journal of Biomedical Informatics, 2003
Genetic Analysis of Case/Control Data Using Estimated Haplotype Frequencies: Application to APOE Locus Variation and Alzheimer's Disease
Genome Research, 2001
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
GeoInformatica, 1997
Mereotopology: A theory of parts and boundaries
Data & Knowledge Engineering, 1996