- A formal theory for spatial representation and reasoning in biomedical ontologiesMaureen Donnelly
Department of Philosophy, New York State Center of Excellence in Bioinformatics and Life Sciences, University at Buffalo, 135 Park Hall, Buffalo, NY 14260, USA
Artif Intell Med 36:1-27. 2006....
- Logical properties of foundational relations in bio-ontologiesThomas Bittner
Department of Philosophy, State University of New York at Buffalo, NY, USA
Artif Intell Med 39:197-216. 2007..We compare the advantages of specifying the semantics of foundational relations in bio-medical terminology systems using different types of formal deductive systems: first-order logic (FOL) and description logics (DLs)...
- On parts and holes: the spatial structure of the human bodyMaureen Donnelly
Institute for Formal Ontology and Medical Information Service, University of Leipzig, Härtelstrasse 16 18, 04107 Leipzig, Germany
Stud Health Technol Inform 107:351-5. 2004..This paper considers how an extension of mereotopology which includes also location relations can be used to represent and reason about the spatial structure of the human body...