15:03:14 RRSAgent has joined #hcls 15:03:14 logging to http://www.w3.org/2014/04/08-hcls-irc 15:03:21 Zakim, who is here? 15:03:21 sorry, ericP, I don't know what conference this is 15:03:23 On IRC I see RRSAgent, Zakim, Mike_Denny, Claude, HCLS, TallTed, egonw__, ericP 15:03:29 Zakim, this is hcls 15:03:29 ok, ericP; that matches SW_HCLS()11:00AM 15:03:31 Zakim, who is here? 15:03:31 On the phone I see ericP, [IPcaller], Tony, Mike_Denny, Neda 15:03:32 On IRC I see RRSAgent, Zakim, Mike_Denny, Claude, HCLS, TallTed, egonw__, ericP 15:03:52 Zakim, [IPcaller] is Claude 15:03:52 +Claude; got it 15:04:26 dbooth_ has joined #hcls 15:04:57 +DBooth 15:05:58 ericP has changed the topic to: Tony Mallia's FHIR RDF - http://join.me/ericPmeet 15:06:23 -> http://join.me/ericPmeet Tony Mallia's FHIR RDF 15:06:58 Meeting: HCLS 15:07:04 Chair: Eric 15:08:06 Neda__ has joined #HCLS 15:08:55 Topic: /me wonders how to tell IRC that dbooth is the same person as me 15:09:23 Topic: Tony Mallia's FHIR RDF 15:10:03 scribenick: ericP 15:10:05 Tony: I attend HL7 meetings, focus on FHIR. Previous specs were difficult. Ad hoc approach to forming structures in FHIR. 15:10:10 scribenick: dbooth_ 15:10:48 ... Looking at representation of FHIR in RDF and OWL, and how to represent SNOMED-CT in RDF and OWL, coming out of ITSDU. 15:12:09 Tony: Info divided into resources, represented as XML or JSON. Resources can also be contained in a container. 15:12:34 ... Defined about 50 resources so far. 100 more in the pipeline. 15:12:45 ... There are also XML schemas that define them. 15:14:33 ... There's an instance of a resource, then saying what it means. Approach is to separate record structure from FHIR instance data from meaning terminologies. 15:15:38 + +1.617.500.aaaa 15:15:52 Zakim, aaaa is joshmandel 15:15:52 +joshmandel; got it 15:16:43 ... The record structure is reasonably static, whereas instance data changes quickly. 15:17:20 Claude: Maybe add a fourth circle: Extended FHIR structure, because of extension mechanism. Could identify an ont that extends FHIR. 15:17:42 JoshM has joined #hcls 15:18:02 Tony: The danger is that everyone will define their own profile, but they need to be shared to gain interop. 15:19:32 + +1.202.528.aabb 15:19:41 ... Criteria for interop has not been established. a particular concept should have a singular invariant semantic pathh through the record, but we found that every user put a particular concept in the record strcuture. 15:20:26 ... But if they're in different parts of thte record then you have to map. Its an issue of governance of the profiles. FHIR people are expecting this to be done at the realm level -- a US presence to govern profiles. 15:20:58 Eric: This shows up in CCDA guidelines. 15:21:14 Tony: Eachpartner does it differently. 15:21:56 .... Where is the path that gets to that semantic element? We're looking at how to process these messages when there 6 different paths to a particular data item. 15:22:25 ... It's a background on where do we go on converging ontologies. It's a huge issues. 15:22:33 q+ to ask who else is working on this? 15:23:10 ... Example is alergy to a bee sting, using ontograph in protege. 15:23:44 ... The upper level are the terminology, the middle with diamonds are facts, and the bottom are FHIR record strcuture. 15:24:10 ... I haven't shown all of the term hierarchy. 15:24:33 ... Terms in SNOMED are classes, and therefore an instance is amember of that class. 15:25:18 ... An instance may be a member of many classes, which differs from most modeling techniques (multiple inheritance). 15:25:36 ... Allows you to put an instance into any class. 15:26:22 q+ to ask if Tony uploaded his slides somewhere 15:28:37 ... Interesting thing: FHIR criticality is closed in FHIR, rather than a codable concept. But because you can see these ontologies combined when imported, FHIR imports SNOMED, and that lets me say that FHIR criticality is equivalent to SNOMED: fhir:CriticalityMedium <-> sct:Moderate 15:29:05 +Kerstin_Forsberg 15:29:25 Claude: YOu imported SNOMED ont, and then related it to FHIR concepts. Record alergy is an instance? 15:29:44 Tony: Yes. the question: do i declare it as an axiom or should the reasoner infer it? 15:30:12 ... Allergy to substance is a precoord term. 15:30:57 ... Not sure whether allergy to substance was inferred or asserted. 15:31:50 Claude: Here you have an allergy instance, related to a bee sting substance. Because of this triple, the combination means that this is an instance of alergy substance rather than medication. 15:32:30 Tony: Yes. I captured this image before I started playing with inferences of this type. Allergic Disposition is in SNOMED, and its equivalent to Allergy. 15:32:51 ... We actually got an inference working to show that. 15:33:42 ... Because the allergy has an object property pointing to the bee sting, you can determine the causative agent and infer that it's an allergy to a substance. 15:34:20 ... Adverse reaction on the right maps to a bee sting with anaphylaxis. 15:34:40 Claude: You'd have to import all the terminologies? 15:34:46 Tony: All within scope, yes. 15:35:10 ... The record ont imports the FHIR record, which imports the SNOMED ont. 15:35:50 ... I'm using hermit reasoner. Haven't got snorocket to work yet. 15:36:38 ... Here's an XML-OWL instance example, conveying the OWL info as an extension to FHIR, so that you could pull the record and pull the OWL as well. 15:37:47 ... I also looked at pre-coord term, allergy to substance. 15:38:08 ... When declared it becomes a subclass of allergic disposition and not a substance. 15:38:55 ... I'm trying to determine an endpoint: how would we like to see this in the final environment? 15:39:26 Claude: allergy to substance is really related to a little subgraph of something with a causative agent. You added this? 15:40:13 Tony: Yes, this work is ongoing in ITSDU and in the VA. Wanted to see how you would articulate it. "allergy to substance" is not a substance, but it is related to one. 15:40:48 Claude: Suppose SNOMED didn't do this, but you wanted to do it. And you provide an extension that defines these relationships. 15:41:01 Tony: There's a whole group looking at that. 15:41:14 ... What do these things really mean? 15:41:20 sct:AllergyToSubstance . 15:41:21 sct:AllergicDisposition 15:41:21 rdfs:subClassOf 15:41:21 sct:AllergicDisposition, 15:41:21 [ owl:onProperty sct:causativeAgent ; 15:41:23 owl:someValuesFrom sct:Substance ] . 15:41:57 ... Convergence: how to converge good ont? 15:42:14 ... want at least comparison of ont, with a convergence. 15:42:59 Josh: As far as definitions of allergy to substance, they really do say those things, like ithas a causative agent, etc. 15:43:39 ... It's in a DL, and one of the relations says that kind of thing. 15:44:04 ... One of the best tools is the NLM's browser. 15:44:25 David: Who is looking at that? 15:44:29 dbooth_: what group is looking at defining these relationships? 15:45:29 Tony: In the VA. There's a group managing terminologies. Keith Campbell. Rafael is connected with them. 15:46:21 ... The individ member of the pre-coord term wiill be members of the post-coord terms. 15:47:40 ... We brought the facts into the combined ontology. 15:48:35 ... These object property names need to be more closely examined. They're locally declared in FHIR, so they won't be the same across differentn resources. 15:48:48 David: Need different names if the semantics are different. 15:49:23 Claude: You say instance allegy_1 is an instance of a Confirmed class? 15:49:48 Tony: discussion is whether you treat types as properties or classes. 15:50:28 ... I've done them as classes. 15:51:13 ... I think that was the difference from your presentation. 15:51:50 ... What's interesting, the sensitivity to substance is inferred to have a relationship to causative agent, slightly indirect. 15:52:28 ... In theory, I should be able to determine that this is actually an alergy to a substance, but I'm not quite there yest. 15:52:31 s/yest/yet/ 15:52:43 ... Yellow shows the inferred concepts. 15:53:05 ... If you've imported this, the extended and inferred ont will contain these, and you could filter it. 15:53:19 - +1.202.528.aabb 15:53:45 ... I expect you to bring the inferences into the ont. 15:54:29 ... Returning to the profile and extension, I started by mixing them, but I realized we'd have a bad problem with the users. People would only want to see FHIR or DL but not both. 15:55:24 ... An extension appears in almost every resource. So we'll keep the DL in a language in a way that it won't have to changed. OWL/XML could be used in the XML space -- FHIR resource could therefore carry its OWL representation that way. 15:56:03 ... It could be attached either pre- or post exchange if the recipient has asked for a profile that requires a DL extension. 15:56:47 ... The recipient could then view either of them. 15:57:13 -Kerstin_Forsberg 15:57:26 q+ to ask what level of support you're seeing so far in HL7 for this approach 15:57:55 Claude: If you used a FHIR ont then you might use many ont for each resource, right? 15:58:08 Tony: Yes, do you break it into multiple ont and have a separate for each? 15:58:51 ... But you could have one. It's the object properties, since they're locally declared, that you have to keep separate. 15:59:29 Claude: In the approach i took I was trying to come up with a generalized ont that alilgned with Josh's work -- a set of deterministic rules to generate this ont and align with the RDF instances. 16:00:19 ... In your case, you define a set of classes in OWL that are very geared toward the semantics of each resoruce -- not nearly as generic. It carries more local semantics for each resource. So it would be difficult to generate an ont for each resource definition. Right? 16:01:15 Tony: Right, I haven't assumed that this could be auto generated. I would go to the XML Schemas and gen a framework and then tweak it. 16:02:48 Josh: In my FHIR build process, there are spreadsheets that produces profile instances and XML Schemas. Schema expressivity is less than the profiles. I use the spreadsheets. 16:02:49 egonw has joined #HCLS 16:03:11 Claude: To know how to create these classes, wouldn't it be difficult to know what they should be? 16:03:38 Tony: They're right in the XML Schema, hard coded. Value sets are hard coded, so any profile changes and extensions won't change them. 16:04:14 ... Codes are enumerations, and they become classes in teh way I model them, with the valueset being the parent class. 16:06:23 Claude: When I view sensitivity status value set, and a value Confirmed, I would think of an allergy as a restriction class that has a value of Confirmed. 16:07:17 ... But you can say Confirmed is a class, and have a restriction class. 16:08:00 Tony: You could do that, so that when you import an instance of FHIR, a data property Confirmed could make it a member of a Confirmed class. 16:08:15 ... Both styles could be declared, and could have relations between them. 16:09:14 Eric: Things in a valueset are objects of a property, but they look like individuals. But we want to give them subsumption, so we want them to be classes also. So this punning approach gives both. 16:09:47 Tony: You're saying that Confirmed is a state. Type or data? I think you can do both. 16:10:28 David: In the larger picture, both styles will inevitably occur in different ontologies, so we need to be able to relate them and map between them. 16:11:01 Tony: The ultimate ont is the high level ont that everything maps to. 16:11:10 Eric: UFO? 16:11:12 David: Cyc? 16:12:15 David: +1 16:12:15 Eric: I'm not convinced there's much ROI in doing that. Suspicion is that the value is that you get a little bit of debugging out of it, but all of the cool stuff we'll want for CDS will be at the level you're working at right now. 16:12:28 Tony: Exciting is the ability to relate them together, not to require a big unified ont. 16:13:18 Eric: The downside of our infra is that if you run inferences and come up with conflict, people are told to throw up their hands and give up. Some say to partition it, but our specs don't yet cover that. 16:13:43 David: Cyc has a lot of experience with partitioning like that. 16:14:23 Eric: We're probably learning things redundantly. Tighter commnication would be helpful. How to work around the same table without being too claustrophobic? 16:14:32 Tony: Not sure I have an answer. Community of interest like this is good. 16:14:53 Eric: An informal morning chat helps. 16:16:11 ... I'd like to go through Tony's instance data and draw on it. Maybe good for Tony to look at FDA stuff. Maybe wiki, google+, etc. 16:16:11 Tony: Just choose one. :) 16:16:45 Tony: Not sure I have an answer. Community of interest like this is good. 16:17:26 David: Logged IRC would help, for coming in later. 16:17:30 Eric: How about SWIG? If we become too much of a pain we can go elsewhere. 16:17:33 egonw_ has joined #HCLS 16:18:02 -Claude 16:18:13 Claude has joined #hcls 16:19:51 ACTION: Eric to install a logger for #hcls channel 16:20:33 Claude has joined #hcls 16:21:18 -DBooth 16:23:26 Eric, what part of the wiki do you suggest as a starting point? http://www.w3.org/wiki/HCLS/ClinicalObservationsInteroperability 16:24:15 -Neda 16:24:40 Or maybe http://www.w3.org/wiki/HCLS/ClinicalObservationsInteroperability/FHIR 16:25:36 Decision: We'll use #hcls and Eric will add a logger. Also use the HCLS wiki. 16:25:36 rrsagent, make logs public 16:28:51 Neda has joined #hcls 16:29:35 rrsagent, where am i? 16:29:35 See http://www.w3.org/2014/04/08-hcls-irc#T16-29-35 16:29:53 -joshmandel 16:30:03 rrsagent, draft minutes 16:30:03 I have made the request to generate http://www.w3.org/2014/04/08-hcls-minutes.html dbooth_ 16:31:20 s|Topic: /me wonders how to tell IRC that dbooth is the same person as me|| 16:33:10 Present: Claude DBooth Josh JoshM Kerstin_Forsberg Mike_Denny Neda TallTed Tony egonw ericP joshmandel 16:33:54 rrsagent, draft minutes 16:33:54 I have made the request to generate http://www.w3.org/2014/04/08-hcls-minutes.html dbooth_ 16:40:34 -Tony 16:40:36 -ericP 16:40:42 -Mike_Denny 16:40:43 SW_HCLS()11:00AM has ended 16:40:43 Attendees were ericP, Tony, Mike_Denny, Neda, Claude, DBooth, +1.617.500.aaaa, joshmandel, +1.202.528.aabb, Kerstin_Forsberg 18:02:03 Zakim has left #hcls 18:39:27 TallTed has joined #hcls