W3C home > Mailing lists > Public > public-semweb-lifesci@w3.org > August 2011

RE: What OWL cant do

From: Hau, Dave (NIH/NCI) [E] <haudt@mail.nih.gov>
Date: Fri, 26 Aug 2011 14:16:24 -0400
To: "public-semweb-lifesci@w3.org" <public-semweb-lifesci@w3.org>
Message-ID: <68706CA218A5B541819F4467C48537EA0F3F00D0E7@NIHMLBXBB02.nih.gov>
Clarification...

The first one means:

Act.participant[@typeCode='verifier']

The second one means:

Act.relationship[@typeCode='verifier'].Act[@code='verification', @moodCode='EVN'].participant[@typeCode='performer']

Is there any reasoning that can be done to determine equivalence between the two?

If not, is there any way to modify the modeling framework to allow that reasoning to happen?

- Dave




-----Original Message-----
From: Hau, Dave (NIH/NCI) [E] 
Sent: Friday, August 26, 2011 2:09 PM
To: public-semweb-lifesci@w3.org
Subject: FW: What OWL cant do

> <<One common one is substituting a participation for a full-blown Act. For example, VRF (verifier) hanging off an Act, vs. Act being subject of a Verification act with a performer of the verifier. >>

Is there any way of telling these two things are the same in OWL, short of using a rule?

"VRF (verifier) hanging off an Act", in OWL speak, means you have an Act with a property which is a child class (verifier) of Participation.

"Act being subject of a Verification act with a performer of the verifier" means you have a child class (Verification) of Act with a property of Participation that then has a property of a child class (verifier) of role.

That's my preliminary interpretation.  Corrections welcome from those who are more familiar with RIM and/or OWL.

- Dave



-----Original Message-----
From: owner-rimbaa@lists.hl7.org [mailto:owner-rimbaa@lists.hl7.org] On Behalf Of peter
Sent: Friday, August 26, 2011 12:57 PM
To: robert worden; 'Yeb Havinga'; 'Lloyd McKenzie'
Cc: 'Andrew McIntyre'; 'Grahame Grieve'; 'Eliot Muir'; 'Zel, M van der'; 'HL7-MnM'; 'RIMBAA'; 'HL7 ITS'
Subject: What OWL cant do

Figure it's time to change the subject line.

Thinking about one of Lloyd's examples, it makes me think there are certain kinds of semantic non equivalence that 
an OWL reasoner would not think are the same, but a clinician would consider for all practical purposes exactly the 
same.

One of Lloyd's examples is this.

<<One common one is substituting a participation for a full-blown Act.  For example, VRF (verifier) hanging off an 
Act, vs. Act being subject of a Verification act with a performer of the verifier. >>

If I go into reasoner mode these are different. They can not be normalized to the same graph.

 If I go into human clinician mode these are the same.

Possibly a reasoner which then feeds a rules engine could handle this, but now we're getting way to complex.

Therefore, I'm not convinced we could use OWL for this task (showing the example cases above to be the same).  
It would seem we'd have to come up with strict rules like "don't ever express and Act as the subject of a verification 
Act, you must always hang the verifier of the act itself."   Would there end up being hundreds of rules, or are there 
only a finite relatively small number of problems like this?

RFH would solve this problem. There'd be only one Resource available to express this in one way.
But I think Lloyd's example above disproves the idea that OWL alone could do this. 

I'd say it this way.

A case of mathematical semantic inequality may in fact still be a case of clinical equality.




>  -------Original Message-------
>  From: robert worden <rpworden@me.com>
>  To: 'Yeb Havinga' <yhavinga@gmail.com>, 'Lloyd McKenzie' <lloyd@lmckenzie.com>
>  Cc: 'Andrew McIntyre' <andrew@medical-objects.com.au>, 'Grahame Grieve' <grahame@kestral.com.au>, 'Eliot 
Muir' <eliot.muir@interfaceware.com>, 'Zel, M van der' <m.van.der.zel@umcg.nl>, 'HL7-MnM' <mnm@lists.hl7.org>, 
'RIMBAA' <rimbaa@lists.hl7.org>, 'HL7 ITS' <its@lists.hl7.org>
>  Subject: RE: RFH - What can Owl do?
>  Sent: 26 Aug '11 02:57
>  
>  Hi All -
>  
>  I'm with Yeb on this one - although I can't express it very articulately,
>  having been away from it for many years. Here's my take:
>  
>  Any system of symbols  - like the RIM, or SNOMED CT, or a natural language -
>  can be helped by having a Model-theoretic Semantics. Here, the 'model' is
>  basically just set theory , and not high-powered maths at all. But for any
>  expression made up of the symbols, there are rules (compositional rules) to
>  say what the expression means, in terms of the set-theoretic objects. This
>  is the 'Intepretation' of the expression, in the model.  Having these rules,
>  and so having a set-theory interpretation of any expression, brings immense
>  clarity to any debate about 'what do the symbols mean?' For any expression,
>  you can point to a set-theoretic object, and poke it to see how it behaves.
>  
>  This works well in natural language semantics (e.g Montague, Situation
>  semantics) and computer language semantics. I suspect that some of the long
>  and inconclusive debates about RIM semantics (negationInd, etc.) have arisen
>  precisely because there is not a model-based semantics for the RIM. With a
>  model-based semantics, they might have been closed down rather quickly.
>  Without it, everybody has their own model in their head.
>  
>  But Fresh Look can't stop and do this before it does anything else - and in
>  any case, who has got time to do it, and what benefit would it bring? I
>  think it would bring clarity, and tell us just what we can't do safely with
>  the RIM. This includes knowing whether two RIM-based models are equivalent -
>  the set-theoretic model is the test.  Could we spin off an academic research
>  project?
>  
>  Cheers
>  
>  Robert
>  
>  
>  
>  mobile: 07970 197968
>  landline: 01353 777668
>  
>  -----Original Message-----
>  From: Yeb Havinga [mailto:yhavinga@gmail.com]
>  Sent: 26 August 2011 10:24
>  To: Lloyd McKenzie
>  Cc: Yeb Havinga; robert worden; Andrew McIntyre; Grahame Grieve; Eliot Muir;
>  Zel, M van der; HL7-MnM; RIMBAA; HL7 ITS
>  Subject: Re: RFH - What can Owl do?
>  
>  Hi Lloyd, list
>  
>  On 2011-08-25 18:18, Lloyd McKenzie wrote:
>  > Hi Yeb,
>  >
>  > Everything's on the table.  If there are changes to RIM structure that
>  > would improve its implementability or usefulness in analysis, those
>  > can be considered.  However, you're going to need to provide some
>  > additional guidance on what changes you'd like to see because I'm not
>  > quite following.
>  
>  >
>  > "X observes that Y orders that Z take medication" would be X as data
>  > enterer, Y as author and Z as subject.
>  Hmm this was just an example to illustrate the RIMs lack of being able to
>  express stacked modalities - without wanting to start a hl7 modeling
>  discussion, if there's a situation in real life where no computers are
>  around for data entry; it's still possible that x observers that y orders
>  that z take medication (or any other substance).
>  >  If you make it more complex, you may need to introduce ControlActs.
>  
>  I don't understand how; ControlAct seems to be meant for something else,
>  looking at it's associations and textual definition.
>  >
>  > In terms of having a mathematical representation of the world, I'm not
>  > sure I understand.  An example would definitely help.
>  
>  I browsed a little for how this was described for OWL: see section 3.1 from
>  http://www.w3.org/TR/owl-semantics/direct.html are the kinds of things I'm
>  talking about - IMO HL7 would benefit from something similar for both the
>  datatypes and the RIM.
>  
>  Also, I once gave a presentation for a RIMBAA meeting, that among other
>  things talks about these things - added as attachment.
>  
>  regards,
>  Yeb Havinga
>  
>  
>  
>  
>  
>  ************************************************
>  To access the Archives of this or other lists or change your list settings and information, go to: 
http://www.hl7.org/listservice
>  


************************************************
To access the Archives of this or other lists or change your list settings and information, go to: http://www.hl7.org/listservice
Received on Friday, 26 August 2011 18:16:53 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:52:48 UTC