SNOMED CT’s Ontological Commitment Stefan Schulz University Medical Center, Freiburg, Germany Ronald Cornet Academic Medical Center, Amsterdam, The Netherlands.

Slides:



Advertisements
Similar presentations
Complex Occurrents in Clinical Terminologies Stefan Schulz, Kornél Markó Department of Medical Informatics, Freiburg University Hospital, Germany Boontawee.
Advertisements

Programming Languages By Stefan Kyriacou. Procedural Language Procedural (also known as imperative language) language is a programming language that works.
Copyright © 2001 College of American Pathologists SNOMED Quick Start Guide A Quick Guide to Installing and Working with SNOMED ® CT Help Exit.
Catalina Martínez-Costa, Stefan Schulz: Ontology-based reinterpretation of the SNOMED CT context model Ontology-based reinterpretation of the SNOMED CT.
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
ICD 11 FC and SNOMED CT – finding as Ontologies of Clinical Situations Stefan Schulz.
Records and situations. Integrating contextual aspects in clinical ontologies Stefan Schulz a,b Daniel Karlsson b a Institute for Medical Informatics,
Strategies for Referent Tracking in Electronic Health Records. Arguments to Werner Ceusters presentation Imia WG6 Workshop on Ontology and Biomedical Informatics.
Description Logics. Outline Knowledge Representation Knowledge Representation Ontology Language Ontology Language Description Logics Description Logics.
Extracted from “Lmo-2 interacts with Elf-2” On the Meaning of Common Statements in Biomedical Literature Stefan Schulz Department of Medical Informatics,
Terminology in Health Care and Public Health Settings
Ontology-based Convergence of Medical Terminologies: SNOMED CT and ICD-11 Institute for Medical Informatics, Statistics and Documentation, Medical University.
Developing an OWL-DL Ontology for Research and Care of Intracranial Aneurysms – Challenges and Limitations Holger Stenzhorn, Martin Boeker, Stefan Schulz,
The Foundational Model of Anatomy and its Ontological Commitment(s) Stefan Schulz University Medical Center, Freiburg, Germany FMA in OWL meeting November.
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
A Case Study of ICD-11 Anatomy Value Set Extraction from SNOMED CT Guoqian Jiang, PhD ©2011 MFMER | slide-1 Division of Biomedical Statistics & Informatics,
SNOMED CT's Condition / Situation approach related to OGMS Stefan Schulz Medical University of Graz (Austria) ICBO 2013 Montreal OGMS Meeting.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic.
SNOMED CT – Distributed Content Management Stefan Schulz Content Committee April 2, 2009.
IntroductionMethods & MaterialsResults Conclusions The Office of Standards and Interoperability (OFTSI) of the Foundation TicSalut, is working on the need.
1 HL7 RIM Barry Smith
©2001 Sowerby Centre for Health Informatics at Newcastle Progress on Virtual Medical Record HL7 Salt Lake City.
Temporal Reasoning and Planning in Medicine Frame-Based Representations and Description Logics Yuval Shahar, M.D., Ph.D.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
A School of Information Science, Federal University of Minas Gerais, Brazil b Medical University of Graz, Austria, c University Medical Center Freiburg,
WHO – IHTSDO: SNOMED CT – ICD-11 coordination: Conditions vs. Situations Stefan Schulz IHTSDO conference Copenhagen, Apr 24, 2012.
Panel: Problems with Existing EHR Paradigms and How Ontology Can Solve Them Roberto A. Rocha, MD, PhD, FACMI Sr. Corporate Manager Clinical Knowledge Management.
Semantic Clarification of the Representation of Procedures and Diseases in SNOMED CT Stefan Schulz Medical Informatics, Freiburg University Hospital (Germany)
Ontological Analysis, Ontological Commitment, and Epistemic Contexts Stefan Schulz WHO – IHTSDO Joint Advisory Group First Face-to-Face Meeting Heathrow,
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
Component 3-Terminology in Healthcare and Public Health Settings Unit 17-Clinical Vocabularies This material was developed by The University of Alabama.
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
Using Several Ontologies for Describing Audio-Visual Documents: A Case Study in the Medical Domain Sunday 29 th of May, 2005 Antoine Isaac 1 & Raphaël.
What do SNOMED CT Concepts Represent? Stefan Schulz University Medical Center, Freiburg, Germany 31 July & 1 August 2009 Internationales Begegnungszentrum.
How much formality do we need ? Stefan Schulz MedInfo 2007 Workshop: MedSemWeb 2007 What Semantics Do We Need for A Semantic Web for Medicine? University.
DL Overview Second Pass Ming Fang 06/19/2009. Outlines  Description Languages  Knowledge Representation in DL  Logical Inference in DL.
Some Thoughts to Consider 8 How difficult is it to get a group of people, or a group of companies, or a group of nations to agree on a particular ontology?
© University of Manchester Creative Commons Attribution-NonCommercial 3.0 unported 3.0 license Lexically Suggest, Logically Define: QA of Qualifiers &
Description Logics Dr. Alexandra I. Cristea. Description Logics Description Logics allow formal concept definitions that can be reasoned about to be expressed.
ece 627 intelligent web: ontology and beyond
Ontology-Based Interoperability Service for HL7 Interfaces Implementation Carolina González, Bernd Blobel and Diego López eHealth Competence Center, Regensurg.
Copyright © Cengage Learning. All rights reserved. Line and Angle Relationships 1 1 Chapter.
Pre- and Post-Coordination in Biomedical Ontologies Stefan Schulz Daniel Schober Djamila Raufie Martin Boeker Medical Informatics Research Group University.
Detection of underspecifications in SNOMED CT concept definitions using language processing 1 Federal Technical University of Paraná (UTFPR), Curitiba,
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
Unintended models in OBO - OWL ontologies OWL Stefan Schulz Freiburg University Medical Center, Germany.
SNOMED CT Vendor Introduction 27 th October :30 (CET) Implementation Special Interest Group Tom Seabury IHTSDO.
LDK R Logics for Data and Knowledge Representation Description Logics: family of languages.
Artificial Intelligence Logical Agents Chapter 7.
1.2 Reasoning Mathematically Two Types of Reasoning Remember to Silence Your Cell Phone and Put It in Your Bag!
An Ontological Analysis of Reference in Health Record Statements Stefan SCHULZ Catalina MARTÍNEZ-COSTA Daniel KARLSSON Ronald CORNET Mathias BROCHHAUSEN.
David Sperzel, MD, MS August-September 2016
The “Common Ontology” between ICD 11 and SNOMED CT
David Sperzel, MD, MS August-September 2016
W. Scott Campbell, MBA, PhD James R. Campbell, MD
DOMAIN ONTOLOGY DESIGN
Stefan Schulz Medical Informatics Research Group
NeurOn: Modeling Ontology for Neurosurgery
Knowledge Representation Part II Description Logic & Introduction to Protégé Jan Pettersen Nytun.
ece 627 intelligent web: ontology and beyond
Can SNOMED CT be harmonized with an upper-level ontology?
ICD 11 FC and SNOMED CT – finding as Ontologies of Clinical Situations
Architecture for ICD 11 and SNOMED CT Harmonization
Harmonizing SNOMED CT with BioTopLite
(1.4) An Introduction to Logic
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
Ontology.
CSNB234 ARTIFICIAL INTELLIGENCE
Logics for Data and Knowledge Representation
Presentation transcript:

SNOMED CT’s Ontological Commitment Stefan Schulz University Medical Center, Freiburg, Germany Ronald Cornet Academic Medical Center, Amsterdam, The Netherlands International Conference on Biomedical Ontology University at Buffalo, NY · July 24-26, 2009

Basic questions for ontology developers What are the instances ? What are the entities they are dependent on (without what they can’t exist) ? Alan Ruttenberg (Tutorial on the Information Artifact Ontology) Introduction Examples Discussion Conclusions

Ontological commitment “Agreement about the ontological nature of the entities being referred to by the representational units in an ontology” (modified definition following Gruber 93) Formal ontologies: subsumption and equivalence statements are either true or false Problem: change of truth-value of axioms and sentences according to resulting competing interpretations Case study: SNOMED CT Introduction Examples Discussion Conclusions

SNOMED CT Introduction Examples Discussion Conclusions

SNOMED CT “Standardized Nomenclature of Medicine – Clinical Terms” Comprehensive clinical terminology ( > 300,000 representational units) Devised to represent the meaning of clinical terms for whole range of health and clinical care Increasingly guided by ontological design principles Using a formal language: (Basic) Description Logics EL : –equivalence (  ), subsumption ( ⊑ ) –existential role restriction (  ), conjunction ( ⊓ ) Introduction Examples Discussion Conclusions

Tonsillectomy Introduction Examples Discussion Conclusions

1.Tonsillectomy planned   rg.(  associatedProcedure.Tonsillectomy ⊓  procedureContext.Planned ⊓  subjectRelationshipContext. SubjectOfRecord ⊓  temporalContext.CurrentOrSpecifiedTime) 2.Denied tonsillectomy  Tonsillectomy ⊓  Priority.Denied 3.Tetralogy of Fallot  PulmonicValveStenosis ⊓ VentricularSeptalDefect ⊓ OverridingAorta ⊓ RightVentricular hypertrophy SNOMED CT Examples Introduction Examples Discussion Conclusions

1.Tonsillectomy planned   rg.(  associatedProcedure.Tonsillectomy ⊓  procedureContext.Planned ⊓  subjectRelationshipContext. SubjectOfRecord ⊓  temporalContext.CurrentOrSpecifiedTime) 2.Denied tonsillectomy  Tonsillectomy ⊓  Priority.Denied 3.Tetralogy of Fallot  PulmonicValveStenosis ⊓ VentricularSeptalDefect ⊓ OverridingAorta ⊓ RightVentricular hypertrophy SNOMED CT Examples Introduction Examples Discussion Conclusions

1.Tonsillectomy planned   rg.(  associatedProcedure.Tonsillectomy ⊓  procedureContext.Planned ⊓  subjectRelationshipContext. SubjectOfRecord ⊓  temporalContext.CurrentOrSpecifiedTime) 2.Denied tonsillectomy  Tonsillectomy ⊓  Priority.Denied 3.Tetralogy of Fallot  PulmonicValveStenosis ⊓ VentricularSeptalDefect ⊓ OverridingAorta ⊓ RightVentricular hypertrophy SNOMED CT Examples Introduction Examples Discussion Conclusions

Pulmonic valve stenosis Introduction Examples Discussion Conclusions

Pulmonic valve stenosis Introduction Examples Discussion Conclusions Tetralogy of Fallot

Pulmonic valve stenosis Tetralogy of Fallot Introduction Examples Discussion Conclusions obstruction to flow from the right ventricle (RV) to the pulmon ary..

1.Tonsillectomy planned   rg.(  associatedProcedure.Tonsillectomy ⊓  procedureContext.Planned ⊓  subjectRelationshipContext. SubjectOfRecord ⊓  temporalContext.CurrentOrSpecifiedTime) 2.Denied tonsillectomy  Tonsillectomy ⊓  Priority.Denied 3.Tetralogy of Fallot  PulmonicValveStenosis ⊓ VentricularSeptalDefect ⊓ OverridingAorta ⊓ RightVentricular hypertrophy SNOMED CT Examples Introduction Examples Discussion Conclusions

1.Tonsillectomy planned   rg.(  associatedProcedure.Tonsillectomy ⊓  procedureContext.Planned ⊓  subjectRelationshipContext. SubjectOfRecord ⊓  temporalContext.CurrentOrSpecifiedTime) 2.Denied tonsillectomy  Tonsillectomy ⊓  Priority.Denied 3.Tetralogy of Fallot  PulmonicValveStenosis ⊓ VentricularSeptalDefect ⊓ OverridingAorta ⊓ RightVentricular hypertrophy SNOMED CT Examples Introduction Examples Discussion Conclusions “every denied tonsillectomy is a tonsillectomy” “every instance of “Tonsillectomy planned” implies some tonsillectomy” “every Fallot is also a Pulmonic Valve Stenosis”

Problems The negation of a process is a specialization of this process A plan is defined such as its realization is implied A (definitional) proper part of a compound entity is its taxonomic parent Introduction Examples Discussion Conclusions

Proper parts of taxonomic parents ? is-a Tetralogy of Fallot Traffic Light Red Light Yellow Light Green LightASD PVS RVH OA Introduction Examples Discussion Conclusions Example from Harold Solbrig

Relevance The three examples are not accidental errors – they represent systematic architectural patterns of SNOMED CT –for 50,000 procedure concepts, “denied” subconcepts can be created –hundreds of concepts have properties like “planned”, “suspected” or “known absent” in their definition –77,000 “procedure” or “finding” concepts have their constituent parts as parent concepts (side effect of role group constructor) Hypothesis: they represent different and competing ontological commitments strongly influenced by the practice of clinical coding and documentation Introduction Examples Discussion Conclusions

Alternative interpretations ? Introduction Examples Discussion Conclusions

Alternative interpretation (I) 4 7:30 # Bil. Tonsillectomy AB OB AR Int CN 4 8:15 # Adenoidectomy AB OB AR Int CN 4 9:00 # Bil. Tonsillectomy OB AB AR Int CN 4 9:45 # Mastoidectomy AB OB AR Int CN suspended Introduction Examples Discussion Conclusions Information Artifact

Alternative interpretation (I) SNOMED CT concepts are instantiated by representational artifacts as contained in an electronic patient record –A documentation artifact of a certain kind is created for each patient scheduled for an operation –The class of these information artifacts includes subclasses of information artifacts that include values such as “planned”, “executed”, “denied” etc. –An expression such as  associatedProcedure.Tonsillectomy can be seen representing a plan (but  is false anyway) – Priority.Denied refines the class of information artifacts but not the class of tonsillectomies Introduction Examples Discussion Conclusions

Alternative interpretation (I) Extension of “Tonsillectomy” includes extension of “Denied Tonsillectomy”: FALSE x x x Introduction Examples Discussion Conclusions

Alternative interpretation (I) Extension of “Record of Tonsillectomy” includes extension of “Record of Denied Tonsillectomy”: TRUE T T T T T T T T T T T T T T T T T T T T T T T T T T T T x x x Introduction Examples Discussion Conclusions

Alternative interpretation (II) SNOMED CT concepts are instantiated by patients or clinical situations. –Pulmonic Valve Stenosis stands for “Patient with a pulmonic valve stenosis” –Tetralogy of Fallot stands for “Fallot Patient” –All Fallot patients are also patients with pulmonic valve stenosis because every instance of Tetralogy of Fallot (pathologic structure) has one instance of pulmonic valve stenosis as part Consequence: –Finding and procedure concepts extend to classes of patients but not to classes of findings or procedures Introduction Examples Discussion Conclusions

Extension of “Pulmonic Valve Stenosis” includes extension of “Tetralogy of Fallot”: FALSE Introduction Examples Discussion Conclusions Alternative interpretation (II)

F PPPP FF P F PP Extension of “Patient with Pulmonic Valve Stenosis” includes extension of “Patient with Tetralogy of Fallot”: TRUE Introduction Examples Discussion Conclusions Alternative interpretation (II)

F PPPP FF P F PP Extension of “Situation with Pulmonic Valve Stenosis” includes extension of “Situation with Tetralogy of Fallot”: TRUE Alternative interpretation (II) Introduction Examples Discussion Conclusions

Conclusions Many hierarchies and definitions SNOMED CT suggest that SNOMED CT’s ontological commitment is heterogeneous SNOMED CT’s alternative commitments are completely implicit, thus leaving burden of interpretation to the user. But the alternative interpretations shed light on clinicians’ reasoning SNOMED mixes elements of an ontology with elements of information models (information artifacts) Use of SNOMED CT as an ontology depends on agreement about its ontological commitment Introduction Examples Discussion Conclusions

Conclusions What are the instances of SNOMED CT concepts? What are the entities they are dependent on (without what they can’t exist) ? Introduction Examples Discussion Conclusions