Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN

GALEN seeks to provide re-usable terminology resources for clinical systems. The heart of GALEN is the Common Reference Model (CRM) formulated in a specialised description logic. The CRM is based on a set of principles that have evolved over the period of the project and illustrate key issues to be addressed by any large medical ontology. The principles on which the CRM is based are discussed followed by a more detailed look at the actual mechanisms employed. Finally the structure is compared with other biomedical ontologies in use or proposed.

[1]  José L. V. Mejino,et al.  Foundational model of neuroanatomy: implications for the Human Brain Project , 2001, AMIA.

[2]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[3]  Barry Smith,et al.  Individuals, Universals, Collections: On the Foundational Relations of Ontology , 2004 .

[4]  W A Nowlan,et al.  Clinical workstations: identifying clinical requirements and understanding clinical information. , 1994, International journal of bio-medical computing.

[5]  Judith C. Wagner,et al.  Galen-In-Use: Using artificial intelligence terminology tools to improve the linguistic coherence of a national coding system for surgical procedures , 1998, MedInfo.

[6]  A. Rector.  Clinical Terminology: Why Is it so Hard? , 1999, Methods of Information in Medicine.

[7]  José L. V. Mejino,et al.  Conceptualization of anatomical spatial entities in the Digital Anatomist Foundational Model , 1999, AMIA.

[8]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[9]  Ramanathan V. Guha,et al.  Enabling agents to work together , 1994, CACM.

[10]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[11]  Alan L. Rector,et al.  GALEN's model of parts and wholes: experience and comparisons , 2000, AMIA.

[12]  Nicola Guarino,et al.  Open Problems with Part-Whole Relations , 1996, Description Logics.

[13]  Alan L. Rector,et al.  Modeling nursing terminology using the GRAIL representation language. , 1998, Journal of the American Medical Informatics Association : JAMIA.

[14]  Alan L. Rector,et al.  Inheritance of Drug Information , 2000, AMIA.

[15]  Yuval Shahar,et al.  A Problem-Solvin g Architecture for Managing Temporal Data and their Abstractions , 1992 .

[16]  Alan L. Rector,et al.  The Interface between Information, Terminology, and Inference Models , 2001, MedInfo.

[17]  R Baud,et al.  Galen-In-Use: an EU Project applied to the development of a new national coding system for surgical procedures: NCAM. , 1997, Studies in health technology and informatics.

[18]  Steffen Staab,et al.  Ontology Engineering beyond the Modeling of Concepts and Relations , 2000 .

[19]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[20]  A. Rector.  Thesauri and Formal Classifications: Terminologies for People and Machines , 1998, Methods of Information in Medicine.

[21]  Mark S. Tuttle.  The Position of the Canon Group: A Reality Check , 1994, J. Am. Medical Informatics Assoc..

[22]  Roberto Casati,et al.  Parts And Places , 1999 .

[23]  John A. Bateman,et al.  Upper Modeling: A general organization of knowledge for natural language processing , 1990 .

[24]  J. Cimino.  Desiderata for Controlled Medical Vocabularies in the Twenty-First Century , 1998, Methods of Information in Medicine.

[25]  Costas Pappas,et al.  Medical informatics Europe '97 , 1996 .

[26]  Nicola Guarino,et al.  Towards a methodology for ontology based model engineering , 2000 .

[27]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[28]  A L Rector,et al.  The PEN&PAD data entry system: from prototype to practical system. , 1996, Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium.

[29]  Pierre Zweigenbaum,et al.  Issues in the Structuring and Acquisition of an Ontology for Medical Language Understanding , 1995, Methods of Information in Medicine.

[30]  Kent A. Spackman,et al.  SNOMED clinical terms: overview of the development process and project status , 2001, AMIA.

[31]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[32]  Barry Smith,et al.  The Basic Tools of Formal Ontology , 1998 .

[33]  Lin Padgham,et al.  A Framework for Part-of Hierarchies in Terminological Logics , 1994, KR.

[34]  Stefan Schulz,et al.  Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures , 2001, AIME.

[35]  Ian Horrocks,et al.  Ontologies and the semantic web , 2008, CACM.

[36]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[37]  Udo Hahn,et al.  Part-Whole Reasoning: A Case Study in Medical Ontology Engineering , 1999, IEEE Intell. Syst..

[38]  Alan L. Rector.  Defaults, Context, and Knowledge: Alternatives for OWL-Indexed Knowledge Bases , 2004, Pacific Symposium on Biocomputing.

[39]  Stefan Schulz,et al.  Mereotopological reasoning about parts and (w)holes in bio-ontologies , 2001, FOIS.

[40]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[41]  Barry Smith,et al.  Formal Ontology in Information Systems (FOIS) , 2001 .

[42]  J. P. Christensen,et al.  Health in the New Communications Age , 1995 .

[43]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[44]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[45]  Carola Eschenbach,et al.  Formal Ontology in Information Systems , 2008 .

[46]  Philip A. Bernstein,et al.  Challenges in Precisely Aligning Models of Human Anatomy Using Generic Schema Matching , 2004, MedInfo.

[47]  William A. Woods.  What's Important About Knowledge Representation? , 1983, Computer.

[48]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .

[49]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[50]  Alan L. Rector.  Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies , 2002, Description Logics.

[51]  E. Hannum.  INDIVIDUALS , 1934, Francis W. Parker School Studies in Education.

[52]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[53]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[54]  Alan L. Rector,et al.  Integrating existing drug formulation terminologies into an HL7 standard classification using OpenGALEN , 2001, AMIA.

[55]  J E Rogers,et al.  Rubrics to dissections to GRAIL to classifications. , 1997, Studies in health technology and informatics.

[56]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[57]  Werner Ceusters,et al.  Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine , 1998, IEEE Transactions on Information Technology in Biomedicine.

[58]  Alan L. Rector,et al.  A reference terminology for drugs , 1999, AMIA.

[59]  J J Cimino.  Controlled medical vocabulary construction: methods from the Canon Group. , 1994, Journal of the American Medical Informatics Association : JAMIA.

[60]  M O'Neil,et al.  Semantic definition of disorders in version 3 of the Read Codes. , 1998, Methods of information in medicine.

[61]  Martin Romacker,et al.  How knowledge drives understandingmatching medical ontologies with the needs of medical language processing , 1999, Artif. Intell. Medicine.

[62]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[63]  A. Rector,et al.  A Terminology Server for Medical Language and Medical Information Systems , 1995, Methods of Information in Medicine.

[64]  Linda G. Shapiro,et al.  The digital anatomist structural abstraction , 1998 .

[65]  Alan L. Rector,et al.  Validating clinical terminology structures: integration and cross-validation of Read Thesaurus and GALEN , 1998, AMIA.

[66]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[67]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[68]  Stanley M. Huff,et al.  Position Paper: Toward a Medical-concept Representation Language , 1994, J. Am. Medical Informatics Assoc..

[69]  C Payne,et al.  Read Codes Version 3: A User Led Terminology , 1995, Methods of Information in Medicine.

[70]  Nicola Guarino,et al.  Supporting ontological analysis of taxonomic relationships , 2001, Data Knowl. Eng..

[71]  Linda G. Shapiro,et al.  The digital anatomist foundational model: principles for defining and structuring its concept domain , 1998, AMIA.

[72]  Olivier Bodenreider,et al.  Investigating Implicit Knowledge in Ontologies with Application to the Anatomical Domain , 2004, Pacific Symposium on Biocomputing.

[73]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[74]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[75]  Alan L. Rector,et al.  Interface of Inference Models with Concept and Medical Record Models , 2001, AIME.

[76]  Olivier Bodenreider,et al.  Comparing Associative Relationships among Equivalent Concepts across Ontologies , 2004, MedInfo.

[77]  Alan L. Rector,et al.  Models and Inference Methods for Clinical Systems: A Principled Approach , 2004, MedInfo.

[78]  Martin Romacker,et al.  Partonomic Reasoning as Taxonomic Reasoning in Medicine , 1999, AAAI/IAAI.

[79]  Philip A. Bernstein,et al.  Adapting a generic match algorithm to align ontologies of human anatomy , 2004, Proceedings. 20th International Conference on Data Engineering.

[80]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[81]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[82]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[83]  Alan L. Rector.  Coordinating Taxonomies: Key to Re-Usable Concept Representations , 1995, AIME.

[84]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[85]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[86]  Christopher G. Chute,et al.  Viewpoint: Clinical Classification and Terminology: Some History and Current Observations , 2000, J. Am. Medical Informatics Assoc..

[87]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[88]  A. L. Rector.  Clinical terminology : Why is it so hard? : Challenges to Progresses , 1999 .

[89]  Martin Romacker,et al.  Modeling anatomical spatial relations with description logics , 2000, AMIA.

[90]  Alan L. Rector,et al.  Scale and context: issues in ontologies to link health- and bio-informatics , 2002, AMIA.

[91]  Olivier Bodenreider,et al.  Lessons learned from aligning two representations of anatomy , 2004, KR-MED.