SNOMED reaching its adolescence: Ontologists' and logicians' health check

After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap toward an overall improvement and recommend the following actions: SNOMED CT's ontology, dictionary, and information model components should be kept separate. SNOMED CT's upper level should be re-arranged according to a standard upper level ontology. SNOMED CT concepts should be assigned to the four disjoint groups: classes, instances, relations, and meta-classes. SNOMED CT's binary relations should be reduced to a set of canonical ones, following existing recommendations. Taxonomies should be cleansed and split into disjoint partitions. The number of full definitions should be increased. Finally, new approaches are proposed for modeling part-whole hierarchies, as well as the integration of qualifier relations into a unified framework. All proposed modifications can be expressed by the computationally tractable description logic EL(++).

[1]  Nicolette de Keizer,et al.  Forty years of SNOMED: a literature review , 2008, BMC Medical Informatics Decis. Mak..

[2]  Martin Boeker,et al.  Clinical ontologies interfacing the real world , 2007 .

[3]  Barry Smith,et al.  Beyond Concepts: Ontology as Reality Representation , 2004 .

[4]  N. Guarino,et al.  Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy , 1998 .

[5]  Barry Smith,et al.  Biodynamic ontology: applying BFO in the biomedical domain. , 2004, Studies in health technology and informatics.

[6]  Stefan Schulz,et al.  Part-whole representation and reasoning in formal biomedical ontologies , 2005, Artif. Intell. Medicine.

[7]  Josef Ingenerf,et al.  Standardized terminological services enabling semantic interoperability between distributed and heterogeneous systems , 2001, Int. J. Medical Informatics.

[8]  A Rossi Mori,et al.  Exploiting the terminological approach from CEN/TC251 and GALEN to support semantic interoperability of healthcare record systems. , 1998, International journal of medical informatics.

[9]  Kent A. Spackman,et al.  Normal forms for description logic expressions of clinical concepts in SNOMED RT , 2001, AMIA.

[10]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[11]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

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

[13]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[14]  Alan L. Rector,et al.  MEDICAL INFORMATICS , 1990, The Lancet.

[15]  Waclaw Kusnierczyk,et al.  Nontological Engineering , 2006, FOIS.

[16]  R Cornet,et al.  A Framework for Characterizing Terminological Systems , 2006, Methods of Information in Medicine.

[17]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[18]  N. D. de Keizer,et al.  Understanding Terminological Systems I: Terminology and Typology , 2000, Methods of Information in Medicine.

[19]  C. Lindberg.  The Unified Medical Language System (UMLS) of the National Library of Medicine. , 1990, Journal.

[20]  Kent A. Spackman,et al.  Examining SNOMED from the perspective of formal ontological principles: Some preliminary analysis and observations , 2004, KR-MED.

[21]  Domenico M. Pisanelli,et al.  Ontologies in Medicine , 2004 .

[22]  Steffen Staab,et al.  Triple Client WonderWeb : Ontology Infrastructure for the Semantic Web , 2003 .

[23]  D J Rothwell.  SNOMED-based knowledge representation. , 1995, Methods of information in medicine.

[24]  Barry Smith,et al.  The Role of Foundational Relations in the Alignment of Biomedical Ontologies , 2004, MedInfo.

[25]  Smith Barry,et al.  Third International Conference on Semantic Technologies (i-semantics 2007), Graz, Austria , 2007 .

[26]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[27]  Nicolaas J. I. Mars,et al.  Towards very large knowledge bases, knowledge building and knowledge sharing 1995 , 1995 .

[28]  Olivier Bodenreider,et al.  Investigating subsumption in DL-based terminologies: A Case Study in SNOMED CT , 2004, KR-MED.

[29]  Nicola Guarino,et al.  Formal Ontology in Information Systems , 1998 .

[30]  U. Hahn,et al.  The Semantics of Procedures and Diseases in SNOMED® CT , 2006, Methods of Information in Medicine.

[31]  José L. V. Mejino,et al.  The role of definitions in biomedical concept representation , 2001, AMIA.

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

[33]  Elena Beisswanger,et al.  BioTop: An upper domain ontology for the life sciencesA description of its current structure, contents and interfaces to OBO ontologies , 2008, Appl. Ontology.

[34]  W. Quine.  On What There Is , 1948 .

[35]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[36]  Kent A. Spackman,et al.  Selective retrieval of pre- and post-coordinated SNOMED concepts , 2002, AMIA.

[37]  J. Ingenerf,et al.  Concept-oriented Standardization and Statistics-oriented Classification: Continuing the Classification versus Nomenclature Controversy , 1998, Methods of Information in Medicine.

[38]  Sebastian Garde,et al.  Towards Semantic Interoperability for Electronic Health Records , 2007, Methods of Information in Medicine.

[39]  Kent A. Spackman,et al.  Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators , 2007, AIME.

[40]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

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