Maureen Donnelly

Summary

Affiliation: University at Buffalo
Country: USA

Publications

  1. ncbi request reprint A formal theory for spatial representation and reasoning in biomedical ontologies
    Maureen 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
  2. ncbi request reprint Logical properties of foundational relations in bio-ontologies
    Thomas Bittner
    Department of Philosophy, State University of New York at Buffalo, NY, USA
    Artif Intell Med 39:197-216. 2007
  3. ncbi request reprint On parts and holes: the spatial structure of the human body
    Maureen 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

Detail Information

Publications3

  1. ncbi request reprint A formal theory for spatial representation and reasoning in biomedical ontologies
    Maureen 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
    ....
  2. ncbi request reprint Logical properties of foundational relations in bio-ontologies
    Thomas 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)...
  3. ncbi request reprint On parts and holes: the spatial structure of the human body
    Maureen 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...