Affiliation: University at Buffalo
- 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)...
- The qualitative and time-dependent character of spatial relations in biomedical ontologiesThomas Bittner
Department of Philosophy, University at Buffalo, USA
Bioinformatics 23:1674-82. 2007....
- 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....
- Biomedical ontologies: what part-of is and isn'tStefan Schulz
Department of Medical Informatics, University Hospital, Freiburg, Germany
J Biomed Inform 39:350-61. 2006..We analyze these ambiguities and make suggestions for a standardization of mereological relations in biomedical ontologies...
- Granularity, scale and collectivity: when size does and does not matterAlan Rector
Department of Computer Science, University of Manchester, Manchester M13 9PL, UK
J Biomed Inform 39:333-49. 2006..Although examples are taken from biomedicine, we believe these notions to have wider application...