Hi Sajjad,

On 02/04/2015 07:12 AM, Sajjad Hussain wrote:
Hi All,

Responding to Action # 2 carried during last call:

http://www.w3.org/2015/02/03-hcls-minutes.html#action02
<http://www.w3.org/2015/02/03-hcls-minutes.html#action02>

I would suggest the following wording for FHIR Ontology Requirement # 11
(http://wiki.hl7.org/index.php?title=FHIR_Ontology_Requirements#11._Enable_Inference
<http://wiki.hl7.org/index.php?title=FHIR_Ontology_Requirements>)

11. Enable Inference
(MUST) The FHIR ontology must enable OWL/RDFS inference with
monotonicity and open world assumption [1]
[1] http://www.cs.man.ac.uk/~drummond/presentations/OWA.pdf
<http://www.cs.man.ac.uk/%7Edrummond/presentations/OWA.pdf>

I would expect the closed world assumption to be used quite a lot to in data validation and perhaps other ways, so I would be uncomfortable having that as a MUST requirement.

David Booth

Best regards,
Sajjad

***************************************************
On 2/3/15 10:45 PM, David Booth wrote:
On today's call we almost finished working out our FHIR ontology
requirements.  Only two points remain to be resolved:
http://wiki.hl7.org/index.php?title=FHIR_Ontology_Requirements

  - Sajjad suggested that the wording of requirement #11 be changed to
be clearer, and agreed to suggest new wording.  Current wording:
"Enable Inference: The FHIR ontology must enable OWL/RDFS inference."

 - Paul Knapp noted that requirement #16 is related to requirement #2,
and suggested that they might be merged.

We did not get to other agenda today.

The full meeting log is here:
http://www.w3.org/2015/02/03-hcls-minutes.html

Thanks!
David Booth




Reply via email to