Biodynamic ontology: Applying BFO in the biomedical domain

Studies in Health Technology and Informatics

Volumn 102, Issue , 2004, Pages 20-38

  Grenon, Pierre ^a   Smith, Barry ^a,b   Goldberg, Louis ^a,b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL OBJECTS; BIOLOGICAL PROCESS; BIOMEDICAL DOMAIN; FORMAL ONTOLOGY; ITS APPLICATIONS; JOINT VENTURES; TWO-COMPONENT;

ONTOLOGY;

ARTICLE; MEDICAL INFORMATICS; UNITED STATES;

MEDICAL INFORMATICS; UNITED STATES;

EID: 18944374341     PISSN: 09269630     EISSN: 18798365     Source Type: Book Series    
DOI: 10.3233/978-1-60750-945-5-20     Document Type: Conference Paper

References (42)

1. Grenon, P. The Ontology of Spatio-Temporal Reality and its Formalization. In: Guesguen, H. W., Mitra, D. and Renz, J. (eds.) Foundations and Applications of Spatio-Temporal Reasoning (FATSR), AAAI Spring Symposium Technical Reports Series, AAAI Press, 2003, 27-34.
2. Smith, B. Ontology and Information Science. Forthcoming in Stanford Encyclopedia of Philosophy.
3. Mallon, W.T, Beibuyck, J.F, and Jones, R.F. The Reorganization of Basic Science Departments in U.S. Medical Schools, 1980-1999. Academic Medicine, 78: 3 (2003), 302-306.
4. Bittner, T. and Smith, B. A Theory of Granular Partitions. In: Duckham M., M. Goodchild M. and Worboys M. (eds.) Foundations of Geographical Information Science. London: Taylor and Francis Books, 2003, 117-151.
5. Smith, B. and Brogaard, B., Quantum Mereotopology. Annals of Mathematics and Artificial Intelligence, 35: 1/2(2002), 153-175.
6. Smith, B. and Brogaard, B. A Unified Theory of Truth and Reference. Logique et Analyse, 43: 169/170 (2003).
7. Zemach, E. Four Ontologies. The Journal of Philosophy, 47 (1970), 231-247.
8. Lewis, D. On the Plurality of Worlds. Oxford: Blackwell, 1986.
9. Lowe, E. J. The Possibility of Metaphysics: Substance, Identity, and Time. Oxford: Oxford University Press, 1998.
10. Simons, P. Parts: A Study in Ontology. Oxford: Clarendon Press, 1987.
11. Smith, B. and Varzi. A. (eds.) Temporal Parts. The Monist 83:3 (2000).
12. Quine, W. V. O. Word and Object. Cambridge, M.A: M.I.T. Press, 1960.
13. Sider, T. Four-Dimensionalism: An Ontology of Persistence and Time, Oxford: Clarendon Press, 2001.
14. Smith, B. On Substances, Accidents and Universals: In Defence of a Constituent Ontology. Philosophical Papers, 26(1997), 105-127.
15. Grenon, P. Spado-Temporality in Basic Formal Ontology, Part I: SNAP and SPAN, Upper-Level Ontology and Framework for Formalization. IFOMIS Technical Report Series, 5/03 (2003).
16. Grenon, P. BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE. IFOMIS Technical Report Series, 6/03 (2003).
17. Masolo, C, Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L., Grenon, P., Mika, P., Sabou, M., and Oberele, D. WonderWeb Deliverable 18: Ontology Library, http://wonderweb.semanticweb.org/deliverables/documents/D18. pdf.
18. Grenon, P. Spatio-Temporality in Basic Formal Ontology, Part II: Trans-Ontology. Manuscript.
19. Smith, B. and Grenon, P. The Cornucopia of Formal-Ontological Relations. Forthcoming in Dialectica.
20. Grenon, P. and Johansson, I. A Formalization of the Peculiarities of Aristotelian Universals. Manuscript.
21. Armstrong, D. M. Universals and Scientific Realism. Cambridge: Cambridge University Press, 1978.
22. Lewis, D. New Work for a Theory of Universals. Australasian Journal of Philosophy, 61:4 (1983), 343-77.
23. Casati, R. and Varzi, A. C. Parts and Places: The Structures of Spatial Representation. Cambridge, MA: The M.I.T. Press, 1999.
24. Donnelly, M. Layered Mereotopology. In: Proceedings ofIJCAI-03. Morgan Kaufmann, San Francisco, 2003, 1269-1274.
25. Smith, B. On Drawing Lines on a Map. In: Frank A. U. and Kuhn W. (eds.) Spatial Information Theory. A Theoretical Basis for GIS (Lecture Notes in Computer Science, 988). Berlin: Springer, 1995, 475-484
26. Smith, B. and Varzi, A. C. Fiat and Bona Fide Boundaries. Philosophy and Phenomenological Research, 60:2 (2000), 401-420.
27. Smith, B. Fiat Objects. Topoi, 20: 2 (2001), 131-148.
28. Casati, R. and Varzi, A. C. Holes and other Superficialities. Cambridge, MA and London: The MIT Press, 1994.
29. Smith, B. Boundaries: An Essay in Mereotopology. In: Hahn, L. H. (ed.) The Philosophy of Roderick Chisholm (Library of Living Philosophers). Chicago and LaSalle: Open Court, 1997, 534-561.
30. Smith, B. and Varzi, A. C. The Niche. Nous, 33: 2 (1999), 198-222.
31. Berg, J. Aristotle's Theory of Definition. In: Atti del Convegno Internazionale di Storia delle Logica. Bologna: CLUEB, 1983.
32. Smith, B. The Logic of Biological Classification and the Foundations of Biomedical Ontology. In: Westerstahl, D. (ed.) Invited Papers from the 10th International Conference on Logic, Methodology and Philosophy of Science. Elsevier-North-Holland, forthcoming.
33. Johansson, I. Determinables as Universals. TheMonist, 83: 1 (2000), 101-121.
34. Hazarika, S. M. and Cohn, A. G. Qualitative spatio-temporal continuity. In: Montello, D R (ed.) Spatial Information Theory: Foundations of Geographic Information Science; Proceedings of COSIT0I. Springer-Verlag, 2001, 92-107.
35. Cohn A. G. and Varzi, A. C. Mereotopological Connection. Journal of Philosophical Logic, 32: 4 (2003), 357-390.
36. Barker, R. G. and Associates, Habitats, Environments, and Human Behavior. Studies in Ecological Psychology and Eco-Behavioral Science from the Midwest Psychological Field Station. 1947-1972. San Francisco: Jossey-Bass Publishers, 1978.
37. Smith, B. Objects and Their Environments: From Aristotle to Ecological Ontology. In Frank, A. U. (ed.). The Life and Motion of Socioeconomic Units (GISDATA 8). London: Taylor and Francis, 2001, 79-97.
38. Smith, B. More Things in Heaven and Earth. Grazer Philosophische Studien, 50 (1995), 187-201.
39. Grenon, P. and Smith, B. SNAP and SPAN: Towards Dynamic Spatial Ontology. Forthcoming in Spatial Cognition and Computation.
40. Smith, B., Papakin, I., and Munn, K. Bodily Systems and the Spatial-Functional Structure of the Human Body (in this volume).
41. Mulligan, K. Relations through Thick and Thin. Erkenntnis 48 (2-3) (1998): 325-353.
42. Smith, B. and Brogaard, B. Sixteen Days. The Journal of Medicine and Philosophy, 28: 1 (2003), 45-78.