17:08:30 RRSAgent has joined #hcls 17:08:30 logging to http://www.w3.org/2015/11/24-hcls-irc 17:08:32 RRSAgent, make logs world 17:08:32 Zakim has joined #hcls 17:08:34 Zakim, this will be HCLS 17:08:34 I do not see a conference matching that name scheduled within the next hour, trackbot 17:08:35 Meeting: Semantic Web Health Care and Life Sciences Interest Group Teleconference 17:08:35 Date: 24 November 2015 17:10:14 Topic: FHIR RDF side-by-side 17:10:14 http://wiki.hl7.org/index.php?title=File:FHIR_RDF_Sample_side_by_side_comparisons.pdf 17:10:14 tony: this doc has not yet been updated since the ValueSet discussions 17:10:14 tony: Looking at line 29, fhir:id 17:10:15 https://hl7-fhir.github.io/datatypes.html#id 17:10:15 dbooth: shouldn't that be 64 instead of 36? 17:10:17 tony: section 1.2 Decimal, line 48 17:10:19 dbooth: How did we end up representing significant digits? 17:10:21 tony: fhir:fractionalDigits 17:10:23 rob: line3 53 and 58 say "fractional" -- need to fix 17:10:25 sec 1.3 CodeableConcept , line 72 17:10:27 tony: ConceptBase, CodingBase, Coding 17:10:29 ... CodeableConcept is a subclass of ConceptBase, and Coding is also 17:10:31 tony: In FHIR, everything is declared as a ConceptBase (CodeableConcept, Coding, code) 17:10:35 ... There's always a ConceptBase, and inside there can be one or more CodingBase, and inside that you have a CodeBase 17:10:40 ... ConceptBase (line 121) has CondingBases inside. 17:10:42 dbooth: things called "...code" or "...coding" should be disjoint from things called "...concept" or "...conceptBase". 17:10:45 tony: fhir:code is a subclass of fhir:ConceptBase 17:10:47 rob: line 226, should CodingBase.system be there? 17:10:49 dbooth: If it is always knowable when translating from FHIR XML to FHIR RDF, then it can be there. 17:10:51 ... If the system is defined in one of the FHIR standard, then it is knowable during translation and can be required here. 17:10:54 tony: it is part of the FHIR standard. 17:10:59 ... but it is not in the FHIR payload -- it is in the element definition. 17:10:59 rob: If you are converting FHIR XML to FHIR RDF without using the element definition information, then you won't know what system to put in there. 17:11:01 dbooth: Element definition information could be supplied elsewhere in the FHIR ontology 17:11:03 ACTION: Tony to to change line 227 to maxCardinality 1 17:11:03 Error finding 'Tony'. You can review and register nicknames at . 17:11:05 Chair: David Booth 17:11:09 Present: David Booth, Eric P, Tony Mallia, Rob Hausam, Harold Solbrig 17:11:30 rrsagent, draft minutes 17:11:30 I have made the request to generate http://www.w3.org/2015/11/24-hcls-minutes.html dbooth 18:29:14 TallTed has joined #hcls 19:36:46 Zakim has left #hcls 22:04:20 RRSAgent has joined #hcls 22:04:20 logging to http://www.w3.org/2015/11/24-hcls-irc 22:04:22 RRSAgent, make logs world 22:04:22 Zakim has joined #hcls 22:04:24 Zakim, this will be HCLS 22:04:24 I do not see a conference matching that name scheduled within the next hour, trackbot 22:04:25 Meeting: Semantic Web Health Care and Life Sciences Interest Group Teleconference 22:04:25 Date: 24 November 2015 22:04:41 Topic: FHIR RDF 22:05:06 Tony has joined #HCLS 22:06:26 Tony's side-by-side document: http://wiki.hl7.org/index.php?title=File:FHIR_RDF_Sample_side_by_side_comparisons.pdf 22:07:31 ChrisS has joined #hcls 22:07:53 Topic: Harold Solbrig's review of the FHIR ontology 22:13:50 Harold's slides: https://lists.w3.org/Archives/Public/www-archive/2015Nov/att-0016/FHIR_OWL.pdf 22:17:05 tony: definitions are from what FHIR declares 22:19:12 harold: Could strengthen this by declaring boolean to be "value *only* string" 22:19:28 lloyd: Could declared root datatypes to be disjoint. 22:23:03 Present: David Booth, EricP, Harold Solbrig, Chris Stoeckert, Davide Sottara, Jhon (webex only), Lloyd McKenzie, Thomas Lukasik, Zoran 22:24:42 lloyd: The only thing that is hard is dealing with an empty value. We can only handle that if the instances declare maxOccurs 0 for everything that is not in the instance. If I'm sending an Observation and it doesn't have a normal range, I would send as part of my instance, an assertion that maxOccurs of normal range is 0. 22:25:24 ... We would have to know what all the elements for this occurrence can be. But I would not recommend that as the standard serialization syntax. 22:29:10 harold: extra properties are not preventable with OWL 22:32:54 dbooth: A few weeks ago we discussed how to handle when a ValueSet is specified, but the code that is provided is not a member of that VS. Should the reasoner barf or should it let it through at that point, and then require you to use a separate validation mechanism if you wish to catch the error? We decided on the latter. 22:34:36 harold's slide 11 22:35:10 tony: I've assumed that we don't want to have to declare all the types in the payload. 22:38:21 harold: PeterPatient is inferred to be a codeBase, because codeBase is not disjoint with Patient. 22:42:31 tony: on slide 11, the domain of CodingBase.code should cause _:cb2 to be inferred to be a CodingBase 22:47:13 lloyd: Definitely want the reasoner to barf if disjoint class is violated. 22:49:22 dbooth: But it isn't a question of whether to allow it or not, it is a question of *how* we want to people to be able to detect it. The problem with enforcing it in the base FHIR ont is that it the reasoner does not allow any further processing once there is any contradiction. 22:50:45 davide: Concerned that not everything can be validated with OWL. 22:51:30 dbooth: I'm convinced that it is very useful to separate the ontology that indicates the semantics, from a validation ontology. 22:52:46 davide: Avoid having the ont making unwanted inferences, because most of what we are looking for, such as not having extra properties, require closed world rules. 22:53:58 harold on slide 12 22:55:24 harold: CodingBase.system Amoxicillin will cause the reasoner to infer that Amoxicillin is a URI! 22:55:32 tony: Needs more disjoint declarations. 22:59:09 davide: four ladders: 1. specifying RDF representation. 2. Ontology of FHIR resources, e.g., Patient resources disjoint from Observation resources. 3. Validation of instance data. OWL DL reasoning starts to fail a little. ShEx or other things may help more. 4. Binding to the terminologies and the meaning behind resources. 22:59:39 ... How far do we want to go with this ont exercise, given the initial scope is level 1, but we're going as far as level 4? 22:59:53 s/ladders/levels/ 23:01:12 I liked ladders... 23:02:09 Apologies, I need to leave. (Just realized that I am the organizer... I probably can't leave!) 23:03:04 dbooth: In terms of our deliverables, we need to define FHIR RDF, and we need to define at least a minimal ontology that describes the structure and meaning of that RDF. Anything beyond that is subject to discussion. 23:04:08 davide: We may not want to try to put too much validation into the FHIR ontology. 23:04:45 davide: classification is needed 23:04:50 dbooth: agreed 23:06:16 dbooth: Maybe one litmus test for whether to include certain OWL assertions in our FHIR ontology would be whether it is required for classification versus whether it only adds validation. 23:06:42 tony: Sounds good. 23:06:47 chris: I like that. 23:07:19 lloyd: agreed 23:07:57 lloyd: "foo" cannot be a boolean. 23:08:26 eric: imagine we're using the OWL ontology *after* doing all the validation. In that case, how should we optimize for speed, efficiency, etc.? 23:09:01 lloyd: that's a separate notion. I don't care if the initial ont runs like a pig. 23:09:34 ... But the main FHIR ont should make clear what FHIR means in RDF terms. Should not make the assumption that all data has been validated. 23:11:41 davide: Agree with lloyd. I would not want the ont to allow unwanted inferences, such as asserting an unintended type of an individual, due to the way the ont was written, rather than the data. 23:12:06 ... Concerned that recognizing a resource is different than recognizing the thing that the resource describes. 23:12:54 ... The doc describes how to use resources to capture meaning. And the FHIR ont says how to represent it in RDF. The ont of the resources is not the same as the ont that describes the Patients. 23:13:49 ... It describes who, what, where. The axioms that are needed for the resource ont are different from axioms that are needed for clinical info. 23:14:33 ... If we have an individual that is a fhir:SubstanceAdministration, it cannot be a fhir:Immunization. 23:14:56 lloyd: From a record perspective, it cannot be both. But from a real world even perspective, it could be both. 23:15:03 s/even/event/ 23:16:11 davide: if we go to semantic validation, it takes us into the realm of real world things. 23:16:38 dbooth: I think Eric's scenario is a very good way of distinguishing what parts of the ont are specifically for semantics, versus what is for validation. 23:18:14 lloyd: I'm okay with an ontology that does not have cardinality constraints, but i want it in the base ontology. 23:19:20 dbooth: I don't think we *need* them in the base ontology. I think we can choose whether to include them. 23:19:30 sorry to leave 23:19:37 need to leave 23:19:39 davide: What is the purpose of including validation constraints in the FHIR ont? 23:20:07 lloyd: Documentation purposes, like for the XML schema. 23:20:31 ... We do not assume that people will use the XML schema in their production systems, though some will. 23:20:43 Chair: David Booth 23:22:19 davide: For a structure definition, OWL is not best. People may not find all the info they need in OWL. Then what is the value of the main FHIR ont if it doesn't fully document the FHIR RDF structure that is required? 23:22:58 lloyd: If you have an Observation with 3 codes, that is not a legal Observation. 23:23:20 davide: But if you do that in OWL, it requires a lot of disjoint statements, etc. 23:23:59 lloyd: To me, the objective of the base ont is document and validation, even if it cannot enforce everything. 23:24:08 davide: But that isn't what OWL does very well. 23:24:26 tony: Want something like ShEx to do enforcement. 23:24:56 davide: Need more than RDFS to describe what the RDF should look like. But what else in OWL do we need to indicate the meaning? 23:25:54 tony: We mainly use NamedIndividuals and restrictions. 23:27:22 tony: Main use is classification --- not validation or documentation. 23:27:32 dbooth: Agree with tony: classification. 23:28:04 lloyd: That would be a production ontology -- not a balloted ont. 23:29:29 http://wiki.hl7.org/index.php?title=FHIR_Ontology_Requirements#6._Enforce_Constraints 23:30:33 dbooth: Our requirements agree with Lloyd about validation. 23:31:33 tony: I look at the purpose of RDF is to be able to form complete RDF graphs with not only a patient but a population, linked together. 23:35:42 davide: what is the purpose of our FHIR ont? 1. document RDF representation 2. document the FHIR spec 3. classification 4. validation: is this graph consistent (structurally and/or semantically)? 23:40:05 rssagent, draft minutes 23:43:06 rrsagent, draft minutes 23:43:06 I have made the request to generate http://www.w3.org/2015/11/24-hcls-minutes.html dbooth