Part-whole representation and reasoning in formal biomedical ontologies

Artificial Intelligence in Medicine

Volumn 34, Issue 3, 2005, Pages 179-200

  Schulz, Stefan ^a   Hahn, Udo ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

Author keywords

(Bio)medical ontologies; Description logics; Part whole reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; FOUNDATIONS; HIERARCHICAL SYSTEMS; TERMINOLOGY;

BIOMEDICAL ONTOLOGIES; PART-WHOLE PRESENTATION; TAXONOMY;

BIOMEDICAL ENGINEERING;

AUTOMATION; BIOMEDICINE; MATHEMATICAL COMPUTING; NOMENCLATURE; PRIORITY JOURNAL; REVIEW; TAXONOMY;

EID: 22044457622     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artmed.2004.11.005     Document Type: Article

References (95)

1. W.J. Clancey E.H. Shortliffe Readings in medical artificial intelligence 1984 Addison-Wesley Reading, MA
2. A. Rossi Mori, F. Consorti, and E. Galeazzi Standards to support development of terminological systems for healthcare telematics Methods Inf Med 37 4-5 1998 551 563
3. J. Ingenerf, and W. Giere Concept-oriented standardization and statistics-oriented classification: continuing the classification versus nomenclature controversy Methods Inf Med 37 4-5 1998 527 539
4. ICD-10. International statistical classification of diseases and health related problems. 10th revision. Geneva: World Health Organization; 1992.
5. R. Côté, D.J. Rothwell, R.S. Beckett, J.L. Palotay, and L. Brochu The systemised nomenclature of medicine: Snomed international 1993 College of American Pathologists Northfield, IL
6. ICNP. International classification of nursing practice. International Council of Nurses; 2002.
7. MeSH. Medical subject headings. Bethesda, MD: National Library of Medicine; 2004.
8. Gene Ontology Consortium. Creating the gene ontology resource: design and implementation. Genome Res 2001;11(8):1425-33.
9. OBO. Open biological ontologies (OBO). http://obo.sourceforge.net. Last accessed: October 23, 2004.
10. K.E. Campbell, A.K. Das, and M.A. Musen A logical foundation for representation of clinical data J Am Med Inf Assoc 1 3 1994 218 232
11. A.L. Rector, A. Gangemi, E. Galeazzi, A.J. Glowinski, and A. Rossi Mori The Galen model schemata for anatomy: towards a re-usable application- independent model of medical concepts P. Barahona M. Veloso J. Bryant MIE'94 - Medical informatics Europe 94. Proceedings of the 12th conference of the European federation for medical informatics Lisbon, Portugal, May 22-26, 1994 1994 IOS Press Amsterdam 229 233
12. C. Rosse, J.L.V. Mejino, B.R. Modayur, R. Jakobovits, K.P. Hinshaw, and J.F. Brinkley Motivation and organizational principles for anatomical knowledge representation: the digital anatomist symbolic knowledge base J Am Med Inf Assoc 5 1 1998 17 40
13. A.T. McCray, and S.J. Nelson The representation of meaning in the Umls Methods Inf Med 34 1-2 1995 193 201
14. UMLS. Unified medical language system. Bethesda, MD: National Library of Medicine; 2004.
15. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SℋℐQ and RDF to OWL: the making of a Web ontology language J Web Semantics 1 1 2003 7 26
16. Smith B. Beyond concepts: ontology as reality representation. In: Varzi AC, Vieu L, editors. Formal ontology in information systems. Proceedings of the 3rd international conference - FOIS 2004, vol. 114 in Frontiers in Artificial Intelligence and Applications. Amsterdam etc.: IOS Press; 2004. p. 73-84.
17. S. Schulz, and U. Hahn Medical knowledge reengineering: converting major portions of the UMLS into a terminological knowledge base Int J Med Inf 64 2-3 2001 207 221
18. O. Bodenreider Circular hierarchical relationships in the UMLS: etiology, diagnosis, treatment, complications, and prevention S. Bakken AMIA 2001 - Proceedings of the annual symposium of the American medical informatics association. A medical informatics odyssey: visions of the future and lessons from the past Washington, DC, November 3-7, 2001 2001 Hanley & Belfus Philadelphia, PA 57 61
19. Gene ontology consortium. GO editorial style guide, 2004. http://www.geneontology.org/GO.usage.html. Last accessed: October 23, 2004.
20. R. Chaffin, D.J. Herrmann, and M. Winston An empirical taxonomy of part-whole relations: effects of part-whole relation type on relation identification Lang Cognit Processes 3 1 1988 17 48
21. A. Artale, E. Franconi, N. Guarino, and L. Pazzi Part-whole relations in object-centered systems: an overview Data Knowl Eng 20 3 1996 347 383
22. Horrocks I, Rector AL, Goble CA. A description logic based schema for the classification of medical data. In: Baader F, Buchheit M, Jeusfeld MA, Nutt W, editors. KRDB'96 - Proceedings of the 3rd workshop 'Knowledge Representation Meets Databases'. 1996. p. 24-8. Published via http://CEUR-WS.org/Vol-4/.
23. J. Rogers, and A.L. Rector Galen's model of parts and wholes: experience and comparisons M.J. Overhage AMIA 2000 - Proceedings of the annual symposium of the American medical informatics association. Converging information, technology, and health care Los Angeles, CA, November 4-8, 2000 2000 Hanley & Belfus Philadelphia, PA 714 718
24. Rector AL. Analysis of propagation along transitive roles: formalisation of the Galen experience with medical ontologies. In: Horrocks I, Tessaris S, editors. DL 2002 - Proceedings of the 2002 international workshop on description logics. 2002. Published via http://CEUR-WS.org/Vol-53/.
25. R.J. Brachman, and H.J. Levesque Knowledge representation and reasoning 2004 Elsevier/Morgan Kaufmann Amsterdam
26. M.R. Genesereth, and N.J. Nilsson Logical foundations of artificial intelligence 1987 Morgan Kaufmann Palo Alto, CA
27. F. Baader D. Calvanese D.L. McGuinness D. Nardi P.F. Patel-Schneider The description logic handbook. Theory, implementation, and applications 2003 Cambridge University Press Cambridge, UK
28. J.F. Sowa Principles of semantic networks. Explorations in the representation of knowledge 1991 Morgan Kaufmann San Mateo, CA
29. J.F. Sowa Knowledge representation: logical, philosophical, and computational foundations 2000 Thomson Learning Stamford, CT
30. Y. Yang, and R. Patil KOLA: a knowledge organization language L.C. Kingsland III SCAMC'89 - Proceedings of the 13th annual symposium on computer applications in medical care Washington, DC, November 1989 1989 IEEE Computer Society Press New York, NY 71 75
31. M. Ensing, R. Paton, P-H. Speel, and R. Rada An object-oriented approach to knowledge representation in a biomedical domain Artif Intell Med 6 6 1994 459 482
32. E. Mays, R. Weida, R. Dionne, M. Laker, B. White, and C. Liang Scalable and expressive medical terminologies J.J. Cimino AMIA'96 - Proceedings of the 1996 AMIA annual fall symposium (formerly SCAMC). Beyond the superhighway: exploiting the internet with medical informatics Washington, DC, October 26-30, 1996 1996 Hanley & Belfus Philadelphia, PA 259 263
33. A.L. Rector, S. Bechhofer, C.A. Goble, I. Horrocks, W.A. Nowlan, and W.D. Solomon The GRAIL concept modelling language for medical terminology Artif Intell Med 9 2 1997 139 171
34. K.A. Spackman Normal forms for description logic expression of clinical concepts in SNOMED RT S. Bakken AMIA 2001 - Proceedings of the annual symposium of the American medical informatics association. A medical informatics odyssey: visions of the future and lessons from the past Washington, DC, November 3-7, 2001 2001 Hanley & Belfus Philadelphia, PA 627 631
35. S. Schulz, and U. Hahn Parts, locations, and holes: formal reasoning about anatomical structures S. Quaglini P. Barahona S. Andreassen Artificial intelligence in medicine. Proceedings of the 8th conference on artificial intelligence in medicine in Europe - AIME 2001, vol. 2101 of Lecture Notes in Artificial Intelligence Cascais, Portugal, July 1-4, 2001 2001 Springer Berlin 293 303
36. F. Volot, M. Joubert, and M. Fieschi Review of biomedical knowledge and data representation with conceptual graphs Methods Inf Med 37 1 1998 86 96
37. Küsters R. Non-standard inferences in description logics, vol. 2100 of Lecture Notes in Computer Science. Berlin: Springer; 2001.
38. F. Baader, and W. Nutt Basic description logics F. Baader D. Calvanese D.L. McGuinness D. Nardi P.F. Patel-Schneider The description logic handbook. Theory, implementation, and applications 2003 Cambridge University Press Cambridge, UK 43 95
39. I. Horrocks, and U. Sattler A description logic with transitive and inverse roles and role hierarchies J Logic Comput 9 3 1999 385 410
40. J.G. Schmolze, and W.S. Mark The Nikl experience Comput Intell 7 1 1991 48 69
41. Brachman RJ, McGuinness DL, Patel-Schneider PF, Resnick LA, Borgida A. Living with classic: when and how to use a Kl-one-like language. In: Sowa JF, editor. Principles of semantic networks. Explorations in the representation of knowledge. San Mateo, CA: Morgan Kaufmann; 1991. p. 401-56.
42. MacGregor R, Bates R. The LOOM knowledge representation language. Technical report RS-87-188. Marina del Rey, CA: Information Sciences Institute, University of Southern California; 1987.
43. I.R. Horrocks The FaCT system H.C.M. de Swart Automated reasoning with analytic tableaux and related methods - TABLEAUX '98. Proceedings of the international conference Tableaux'98, vol. 1397 of Lecture Notes in Computer Science Oisterwijk, The Netherlands, May 5-8, 1998 1998 Springer Berlin 307 312
44. Haarslev V, Möller R. RACER: a core inference engine for the semantic web. In: EON 2003 - Proceedings of the 2nd international workshop on evaluation of ontology-based tools, located at the 2nd international semantic web conference (ISWC 2003). Sanibel Island, FL, USA; 2003. p. 27-36
45. Kashyap V, Borgida A. Representing the UMLS semantic network using OWL: (or "What's in a semantic web link?"). In: Fensel D, Sycara KP, Mylopoulos J, editors. The semantic web - ISWC 2003. Proceedings of the 2nd international semantic web conference, vol. 2870 in Lecture Notes in Computer Science. Berlin: Springer; 2003. p. 1-16.
46. J.A. Bateman, B. Magnini, and G. Fabris The generalized upper model knowledge base: organization and use N.J.I. Mars Towards very large knowledge bases: knowledge building and knowledge sharing 1995 IOS Press Amsterdam 60 72
47. C.D. Hafner, and N.F. Noy Ontological foundations for biology knowledge models D.J. States P. Agarwal T. Gaasterland L. Hunter R.F. Smith ISMB'96 - Proceedings of the 4th international conference on intelligent systems for molecular biology St. Louis, MO, USA, June 12-15, 1996 1996 AAAI Press Menlo Park, CA 78 87
48. A.T. McCray An upper level ontology for the biomedical domain Comp Funct Genomics 4 1 2003 80 84
49. S. Schulz, and U. Hahn Mereotopological reasoning about parts and (w)holes in bio-ontologies C. Welty B. Smith Formal ontology in information systems. Collected papers from the 2nd international FOIS conference Ogunquit, Maine, USA, October 17-19, 2001 2001 ACM Press New York, NY 210 221
50. R.J. Brachman What is-a is and isn't: an analysis of taxonomic links in semantic networks IEEE Comput 16 10 1983 30 36
51. C. Welty, and N. Guarino Supporting ontological analysis of taxonomic relationships Data Knowl Eng 39 1 2001 51 74
52. N. Guarino, and C.A. Welty An overview of OntoClean S. Staab R. Studer Handbook on ontologies 2004 Berlin: Springer 151 171
53. T. Bittner, and B. Smith A theory of granular partitions M. Duckham M.F. Goodchild M.F. Worboys Foundations of geographic information science 2003 Taylor & Francis Books London 117 151
54. P. Simons Parts: a study in ontology 1987 Oxford: Clarendon Press
55. R. Casati, and A.C. Varzi Parts and places. The structures of spatial representation 1999 MIT Press/Bradford Cambridge, MA
56. Srzednicki JTJ, Rickey VF, Czelakowski J, editors. Lesniewski's systems: ontology and mereology, vol. 13 in Nijhoff International Philosophy Series. Dordrecht: Kluwer Academic Publishers; 1984.
57. A.D. Cruse On the transitivity of the part-whole relation J Linguistics 15 1 1979 29 38
58. M.E. Winston, R. Chaffin, and D.J. Herrmann A taxonomy of part-whole relations Cognit Sci 11 4 1987 417 444
59. M.A. Iris, B.E. Litowitz, and M.W. Evens Problems of the part-whole relation M.W. Evens Relational models of the lexicon. Representing knowledge in semantic networks 1988 Cambridge University Press Cambridge, UK 261 288
60. P. Gerstl, and S. Pribbenow Midwinters, end games and body parts: a classification of part-whole relations Int J Hum Comput Stud 43 5-6 1995 865 889
61. S. Pribbenow Meronymic relationships: from classical mereology to complex part-whole relationships R. Green C.A. Bean S.H. Myaeng The semantics of relationships: an interdisciplinary perspective, vol. 3 of Information Science and Knowledge Management 2002 Kluwer Academic Publishers Dordrecht 35 50
62. A.C. Varzi Parts, wholes, and part-whole relations: the prospects of mereotopology Data Knowl Eng 20 3 1996 259 268
63. S. Schulz, and U. Hahn Parthood as spatial inclusion: evidence from biomedical conceptualizations D. Dubois C. Welty M-A. Williams Principles of knowledge representation and reasoning. Proceedings of the 9th international conference - KR 2004 Whistler, B.C., Canada, June 2-5, 2004 2004 AAAI Press Menlo Parko, CA 55 63
64. T. Bittner, and M. Donnelly The mereology of stages and persistent entities R. López de Mántaras L. Saitta ECAI 2004 - Proceedings of the 16th European conference on artificial intelligence Valencia, Spain, August 22-27, 2004 2004 IOS Press Amsterdam 283 287
65. Artale A, Franconi E, Guarino N. Open problems with part-whole relations. In: Padgham L, Franconi E, Gehrke M, McGuinness DL, Patel-Schneider PF, editors. DL'96 - Proceedings of the international workshop on description logics, vol. WS-96-05 of AAAI technical report. Menlo Park, CA: AAAI Press; 1996. p. 70-3.
66. J. Bernauer Analysis of part-whole relation and subsumption in the medical domain Data Knowl Eng 20 3 1996 405 415
67. I. Horrocks, and U. Sattler The effect of adding complex role inclusion axioms in description logics IJCAI'03 - Proceedings of the 18th international joint conference on artificial intelligence, vol. 1 Acapulco, Mexico, August 9-15, 2003 2003 Morgan Kaufmann San Francisco, CA 343 348
68. Gangemi A, Guarino N, Masolo C, Oltramari A. Understanding top-level ontological distinctions. In: Gómez-Pérez A, Gruninger M, Stuckenschmidt H, Uschold M, editors. Ontologies and information sharing. Proceedings of the IJCAI-01 workshop on ontologies and information sharing. 2001. p. 26-33.
69. Schulz S, Hahn U. Towards a computational paradigm for biomedical structure. In: Hahn U, Schulz S, Cornet R, editors. KR-MED 2004 - Proceedings of the 1st international workshop on formal biomedical knowledge representation, collocated with the 9th international conference on the principles of knowledge representation and reasoning (KR 2004). Bethesda, MD: American Medical Informatics Association (AMIA); 2004. p. 63-71. Published via http://CEUR-WS.org/Vol-102/.
70. Bittner T, Donnelly M, Smith B. Individuals, universals, collections: on the foundational relations of ontology. In: Varzi AC, Vieu L, editors. Formal ontology in information systems. Proceedings of the 3rd international conference - FOIS 2004, vol. 114 in Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press; 2004. p. 37-48.
71. M. Uschold The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge Data Knowl Eng 20 3 1996 385 404
72. B. Smith The basic tools of formal ontology N. Guarino FOIS'98 - Proceedings of the conference on formal ontology in information systems Trento, Italy, June 6-8, 1998 1998 IOS Press Amsterdam 19 28
73. E.B. Schulz, C. Price, and P.J.B. Brown Symbolic anatomic knowledge representation in the Read Codes version 3: structure and application J Am Med Inf Assoc 4 1 1997 38 48
74. U. Hahn, S. Schulz, and M. Romacker Partonomic reasoning as taxonomic reasoning in medicine AAAI'99/IAAI'99 - Proceedings of the 16th national conference on artificial intelligence and 11th innovative applications of artificial intelligence conference Orlando, Florida, July 18-22, 1999 1999 AAAI Press and MIT Press Menlo Park, CA; Cambridge, MA 271 276
75. S. Schulz, M. Romacker, and U. Hahn Part-whole reasoning in medical ontologies revisited: introducing SEP triplets into classification-based description logics C.G. Chute AMIA'98 - Proceedings of the 1998 AMIA annual fall symposium. A paradigm shift in health care information systems: clinical infrastructures for the 21st century Orlando, FL, November 7-11, 1998 1998 Hanley & Belfus Philadelphia, PA 830 834
76. L. Badea Reifying concepts in description logics IJCAI'97 - Proceedings of the 15th international joint conference on artificial intelligence, vol. 1 Nagoya, Japan, August 23-29, 1997 1997 Morgan Kaufmann San Francisco, CA 142 149
77. R. Beck, and S. Schulz Logic-based remodeling of the digital anatomist foundational model M.A. Musen AMIA'03 - Proceedings of the 2003 annual symposium of the American medical informatics association. Biomedical and health informatics: from foundations to applications Washington, DC, November 8-12, 2003 2003 Hanley & Belfus Philadelphia, PA 687 691
78. I.R. Horrocks Using an expressive description logic: FaCT or fiction? A.G. Cohn L.K. Schubert S.C. Shapiro Principles of knowledge representation and reasoning: proceedings of the 6th international conference - KR'98 Trento, Italy, June 1-5, 1998 1998 Morgan Kaufmann San Francisco, CA 636 645
79. Haarslev V, Möller R. Description of the RACER system and its applications. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, editors. DL 2001 - Working notes of the 2001 international description logics workshop. 2001. p. 132-41. Published via http://CEUR-WS.org/Vol-49/.
80. F. Baader, and W. Nutt Complexity of reasoning F. Baader D. Calvanese D.L. McGuinness D. Nardi P.F. Patel-Schneider The description logic handbook. Theory, implementation, and applications 2003 Cambridge University Press Cambridge, UK 96 136
81. Spackman KA, Reynoso G. Examining SNOMED from the perspective of formal ontological principles: some preliminary analysis and observations. In: Hahn U, Schulz S, Cornet R, editors. KR-MED 2004 - Proceedings of the 1st international workshop on formal biomedical knowledge representation, collocated with the 9th international conference on the principles of knowledge representation and reasoning (KR 2004). Bethesda, MD: American Medical Informatics Association (AMIA); 2004. p. 81-7. Published via http://CEUR-WS.org/Vol-102/.
82. J.M. Fielding, J. Simon, W. Ceusters, and B. Smith Ontological theory for ontological engineering: biomedical systems information integration D. Dubois C. Welty M-A. Williams Principles of knowledge representation and reasoning. Proceedings of the 9th international conference - KR 2004 Whistler, B.C., Canada, June 2-5, 2004 2004 AAAI Press Menlo Park, CA 114 120
83. Cornet R, Abu-Hanna A. Using description logics for managing medical terminologies. In: Dojat M, Keravnou ET, Barahona P, editors. Artificial intelligence in medicine. Proceedings of the 9th conference on artificial intelligence in medicine in Europe - AIME 2003, vol. 2780 of Lecture Notes in Artificial Intelligence. Berlin: Springer; 2003. p. 61-70.
84. J. Rogers, and A.L. Rector Terminological systems: bridging the generation gap D.R. Masys AMIA'97 - Proceedings of the 1997 AMIA annual fall symposium (formerly SCAMC). The emergence of 'Internetable' health care: systems that really work Nashville, TN, October 25-29, 1997 1997 Hanley & Belfus Philadelphia, PA 610 614
85. J.H. Gennari, M.A. Musen, R.W. Fergerson, W.E. Grosso, M. Crubézy, and H. Eriksson The evolution of Protégé: an environment for knowledge-based systems development Int J Hum Comput Stud 58 1 2003 89 123
86. H. Burkhardt, and C. DuFour Part/whole I: history H. Burkhardt B. Smith Handbook of metaphysics and ontology 1991 Philosophia Verlag München 663 673
87. P. Simons Part/whole II: mereology since 1900 H. Burkhardt B. Smith Handbook of metaphysics and ontology 1991 Philosophia Verlag München 673 675
88. Lambrix P. Part-whole reasoning in an object-centered framework, vol. 1771 in Lecture Notes in Artificial Intelligence. Berlin: Springer; 2000.
89. Bittner T. Axioms for parthood and containment relations in bio-ontologies. In: Hahn U, Schulz S, Cornet R, editors. KR-MED 2004 - Proceedings of the 1st international workshop on formal biomedical knowledge representation, collocated with the 9th international conference on the principles of knowledge representation and reasoning (KR 2004). Bethesda, MD: American Medical Informatics Association (AMIA); 2004. p. 4-11. Published via http://CEUR-WS.org/Vol-102/.
90. Schubert R. Symbolisch-räumliche Computermodelle der Anatomie. Technical report. Fachbereich Medizin, Universität Hamburg; 1999. [Habilitationsschrift].
91. E. Franconi A treatment of plurals and plural quantifications based on a theory of collections Minds Mach 3 4 1993 453 474
92. U. Sattler A concept language for an engineering application with part-whole relations A. Borgida M. Lenzerini D. Nardi B. Nebel DL'95 - Proceedings of the international workshop on description logics Rome, Italy, June 2-3 1995 119 123
93. Speel P-H, Patel-Schneider PF. Classic extended with physical whole-part relations. In: Baader F, Lenzerini M, Nutt W, Patel-Schneider PF, editors. DL'94 - Proceedings of the international workshop on description logics; 1994. p. 45-50. [DFKI-D-94-10].
94. I.J. Haimowitz, R.S. Patil, and P. Szolovits Representing medical knowledge in a terminological language is difficult R.A. Greenes SCAMC'88 - Proceedings of the 12th annual symposium on computer applications in medical care Washington, DC, November 1988 1988 IEEE Computer Society Press New York, NY 101 105
95. L. Padgham, and P. Lambrix A framework of part-of hierarchies in terminological logics J. Doyle E.J. Sandewall P. Torasso Principles of knowledge representation and reasoning. Proceedings of the 4th international conference - KR'94 1994 Morgan Kaufmann San Mateo, CA 485 496