CIMI Semantic Binding Issue

Slides:



Advertisements
Similar presentations
Dr. David A Ferrucci -- Logic Programming and AI Lecture Notes Knowledge Structures Building the Perfect Object.
Advertisements

ICE1341 Programming Languages Spring 2005 Lecture #6 Lecture #6 In-Young Ko iko.AT. icu.ac.kr iko.AT. icu.ac.kr Information and Communications University.
RSNA Reporting Templates: Representation of Findings in CDA R2 Instances Helmut Koenig Co-Chair DICOM WG20.
CIMI Modelling Taskforce Progress Report
Copyright © 2006 Addison-Wesley. All rights reserved. 3.5 Dynamic Semantics Meanings of expressions, statements, and program units Static semantics – type.
NHS Modelling Efforts – ISO13606 adoption and beyond Dr. Rahil Qamar Siddiqui Health and Social Care Information Centre, NHS, England.
OASIS Reference Model for Service Oriented Architecture 1.0
Irina Rychkova. 9/20061 Systemic approach towards model definition Model transformation semantics.
CS 330 Programming Languages 09 / 18 / 2007 Instructor: Michael Eckmann.
Copyright © 2006 The McGraw-Hill Companies, Inc. Programming Languages 2nd edition Tucker and Noonan Chapter 18 Program Correctness To treat programming.
CS 330 Programming Languages 09 / 16 / 2008 Instructor: Michael Eckmann.
FHIM Overview How the FHIM can organize other information modeling efforts.
Predicates & Quantifiers Goal: Introduce predicate logic, including existential & universal quantification Introduce translation between English sentences.
Direct Instruction EDU 6303 Edwin D. Bell. Rationale  “Although the research on direct instruction models has had mixed conclusions, most researchers.
Profiling Metadata Specifications David Massart, EUN Budapest, Hungary – Nov. 2, 2009.
Concept Model for observables, investigations, and observation results For the IHTSDO Observables Project Group and LOINC Coordination Project Revision.
Secure Systems Research Group - FAU Using patterns to compare web services standards E. Fernandez and N. Delessy.
ISBN Chapter 3 Describing Semantics -Attribute Grammars -Dynamic Semantics.
Distribution and components. 2 What is the problem? Enterprise computing is Large scale & complex: It supports large scale and complex organisations Spanning.
ASSOCIATION SIMPLIFICATION. ISSUES WITH ASSOCIATIONS Defining Associations (and association sets) in order to represent links is cumbersome Associations.
3.2 Semantics. 2 Semantics Attribute Grammars The Meanings of Programs: Semantics Sebesta Chapter 3.
Logical Model Collaboration Scope, proposal, and next steps.
® A Proposed UML Profile For EXPRESS David Price Seattle ISO STEP Meeting October 2004.
IDENTIFYING CUSTOMER NEEDS
Copyright © Peter Cappello 2011 Predicates & Quantifiers.
Object Design More Design Patterns Object Constraint Language Object Design Specifying Interfaces Review Exam 2 CEN 4010 Class 18 – 11/03.
A UML-Based Pattern Specification Technique Presented by Chin-Yi Tsai IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 30, NO. 3, MARCH 2004 Robert B. France,
IHTSDO Education & Implementation Update Dr Linda Bird Implementation Specialist.
Transforming CIMI into SNOMED expressions Source model Target model Model mapping Source file Target file XSLT Issues.
SysML and Modelica Integration Working Group Meeting 3/11/09 Peter Fritzson Wladimir Schamai.
Introduction to Ontology Introductions Alan Ruttenberg Science Commons.
A Proposed Approach to Binding SNOMED CT to HL7 FHIR Dr Linda Bird Senior Implementation Specialist.
1 Representing and Reasoning on XML Documents: A Description Logic Approach D. Calvanese, G. D. Giacomo, M. Lenzerini Presented by Daisy Yutao Guo University.
Language = Syntax + Semantics + Vocabulary
Describing Syntax and Semantics
DDI and GSIM – Impacts, Context, and Future Possibilities
IHTSDO Observables Project Call
David Dodds
Scope The scope of this test is to make a preliminary assessment of the fitness of the Draft Observables and Investigation Model (Observables model)
Syntax Lecture 9: Verb Types 1.
CIMI Semantics Roundup
Observable entities and Clinical findings
The ISSAIs for Financial Audit ISSAIs
Research Methods in Crime and Justice
WP1: D 1.3 Standards Framework Status June 25, 2015
Distribution and components
Observable entities and Clinical findings
Landscape Specifications record clinical facts in two patterns:
Clinical Assessment Instruments and the LOINC/SNOMED CT Relationship
Functional status and activities of daily living concepts
Chapter 18: Refining Analysis Relationships
Ontology Reuse In MBSE Henson Graves Abstract January 2011
Chapter 6 Normalization of Database Tables
A test technique is a recipe these tasks that will reveal something
Programming Languages 2nd edition Tucker and Noonan
Condition Resource - Overview
PC CIMI Proof of concept
CIMI/PC: Skin assessment Agenda 12 Sep 2017 (Tue Q1)
Linking Guide Michel Böhms.
TestLog.verdict should be extracted into a dedicated ArbitrationResult concept Issue# UMLTP2-22 Related issues # UMLTP2-24 „Explicit arbitration specification.
Model ID: Model to represent entire statement including context
Allergy Intolerance Resource – Model Meaning
Writing an Engineering Report (Formal Reports)
Coaching in the Workplace: When & How
Foundations of Discrete Mathematics
SNOMED CT Diagramming notes
Contract-Based Programming with/without Ada 2012
Programming Languages 2nd edition Tucker and Noonan
DDI and GSIM – Impacts, Context, and Future Possibilities
Presentation transcript:

CIMI Semantic Binding Issue It seems to be widely agreed that model binding can align CIMI model properties with the semantics of SNOMED CT concept model attributes, where appropriate. But those attributes are predicated on the root concept of the respective concept models. There is no “is root” attribute in SNOMED. The observable model, for instance, specifies a “precondition” property, but no attribute to define the observable subject of the “has precondition” predicate.

Example In this example, it’s difficult to infer an expression: There is a bound “precondition” attribute. It has a value binding to a conformant value set. But the subject cannot be identified without some very specific assumptions about where to find the observable (e.g., “in observation models, use the value of the code property”). CIMI Model for SBP Observation Element: ? Bound attribute: ? Value: SBP observable Element: body position Bound attribute: Precondition Value: body position value set Expression: ??? : Precondition = sitting Focal concept : attribute = attribute value

Suggestion It has been suggested that the model may contain an “is-a” binding to a concept model root concept. The model would then represent a subset of the instances represented by the concept in the value of that property, and the attributes asserted would be attributes of that subtype. Issue: We don’t model concepts in information models. We model assertions. However, such an approach may work perfectly well for the Topic axis of the proposed CIMI compositional approach. This will require (or enable) leveraging other axes for the assertion.

Example CIMI Model for statement of presence CIMI Model for SBP Observation Element: code Bound code: Is-a Value: Situation Element: code Bound code: Is-a Value: SBP finding Element: ? Bound attribute: finding context Element: method Bound attribute: finding method Value: SBP method value set Value: confirmed present Element: ? Bound code: associated finding Element: code Bound attribute: interprets Value: Observable (SBP Topic) Value: Finding Observable concept model CIMI Model for SBP Topic Finding concept model Key Element: code Bound code: Is-a Value: SBP observable Situation concept model Element: body position Bound attribute: Precondition Value: body position value set CIMI

Questions and issues Is the SNOMED CT Situation with Explicit Context model right? Do we need to enhance it? If so, via IHTSDO, NLM, CIMI, SOLOR? Do we need to replace it? If so, under what semantic regime? Is there some other way we can or should specify these semantics? Does the binding directionality of this model break (or inform) navigability assumptions of the compositional approach to CIMI? Does this affect or depend on assumptions about creation of additional concept model attributes?