by Thomas Bittner
Proceedings of KR-MED 2004: First International Workshop on Formal Biomedical Knowledge Representation
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-102/bittner.pdf
Add To MetaCart
Abstract:
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their implications for bio-ontologies. Specifically, I discuss parthood relations among masses, for example among body substances such as blood and portions thereof, and among components of complexes, for example between your stomach and your gastro-intestinal system. I contrast these with the relation of being contained in (as your lungs are contained in your thorax). The axioms considered are rooted in mereology, the formal theory of parts and wholes. By making explicit the differences between the different kinds of relations they support different kinds of data integration in bioinformatics.
Citations
|
197
|
Parts: a study in ontology
– Simons
- 1987
|
|
124
|
A taxonomy for part-whole relations
– Winston, Chaffin, et al.
- 1987
|
|
108
|
Fiat Objects
– Smith
- 2001
|
|
60
|
Parts, wholes, and part-whole relations: The prospects of mereotopology
– Varzi
- 1996
|
|
47
|
A Theory of Granular Partitions
– Bittner, Smith
- 2003
|
|
39
|
The ontology of gene ontology
– Smith, Williams, et al.
- 2003
|
|
36
|
GALEN's model of parts and wholes: experience and comparisons
– Rogers, Rector
|
|
35
|
A reference ontology for bioinformatics: The foundational model of anatomy
– Rosse, Mejino
- 2004
|
|
31
|
The role of foundational relations in the alignment of biomedical ontologies. (http://ontology.buffalo.edu/medo/isa.doc
– Smith, Rosse
|
|
29
|
The structure of spatial localization
– Casati, Varzi
- 1995
|
|
19
|
The possibility of metaphysics
– Lowe
- 1998
|
|
18
|
Mereotopological reasoning about parts and (w)holes in bioontologies
– Schulz, Hahn
|
|
17
|
Partonomic reasoning as taxonomic reasoning in medicine
– Hahn, Schulz, et al.
- 1999
|
|
12
|
Parthood and Identity across Time
– Thomson
- 1983
|
|
10
|
Atomicity vs. infinite divisibility of space
– Masolo, Vieu
- 1999
|
|
8
|
On the transitivity of the parthood relations
– Johansson
- 2004
|
|
7
|
Representing complexity in part-whole relationships within the foundational model of anatomy
– Mejino, Agoncillo, et al.
- 2003
|
|
7
|
Scale and context: Issues in ontologies to link health- and bio-informatics
– Rector, Rogers, et al.
- 2002
|
|
6
|
Axioms for the part relation
– Rescher
- 1955
|
|
5
|
On parts and holes: The spatial structure of the human body
– Donnelly
- 2004
|
|
5
|
end games, and body parts: a classification of part-whole relations
– Midwinters
- 1995
|
|
4
|
Modeling parts and wholes
– Guarino, Pribbenow, et al.
- 1996
|
|
3
|
Part/Whole I: History
– Burkhardt, Dufour
- 1991
|
|
3
|
Representation of structural relationships in the foundational model of anatomy
– Mejino, Noy, et al.
- 2003
|
|
3
|
Part/whole ii: Mereology since 1900
– Simons
- 1991
|
|
2
|
How things persist. Oxford
– Hawley
- 2001
|
|
1
|
Some axioms for beer glasses and backpacks
– Decker
- 2003
|
|
1
|
The Foundational Model of Anatonomy
– FMA
- 2003
|
|
1
|
anatonomy, version 1.7, Build 930
– OpenGALEN
- 2003
|
