[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [xdi] RE: [External] [xdi] Re: Update on $is and $is!
Markus, I looked at it and agree that it looks good based on the premises the TC accepted. Though I still think this approach is too complex, it seems to be the approach that has majority consensus within the TC . I believe that majority has been you, Drummond, Phil, and Joseph - with Giovanni and Les being mostly silent on this matter, and myself opposed.
One thing to possibly consider more is on #4:
4. If a context node has an equivalence link, is MUST be the only statement on that node.
Is an equivalence link relation intended to be symmetric? I am not sure it can be, given the ‘follow’ rules.
If it is, then I don’t see #4 working because $(A)/$is/!1234 will imply !1234/$is/$(A), and !1234 may be the subject of more than one statement.
I think it is important that whenever we define our binary relations/predicates we explicitly say which of the following they are: symmetric, asymmetric (differs from non-symmetric), transitive, reflexive, irreflexive (differs from not necessarily reflexive), functional, inverse functional.
Kind regards,
Bill Barnhill
Booz Allen Hamilton - Belcamp,MD
Cell: 1-443-924-0824
Desk: 1-443-861-9102
From: xdi@lists.oasis-open.org [mailto:xdi@lists.oasis-open.org] On Behalf Of Drummond Reed
Sent: Tuesday, November 20, 2012 1:30 AM
To: xdi2@googlegroups.com
Cc: OASIS - XDI TC
Subject: [External] [xdi] Re: Update on $is and $is!
Markus, I just reviewed the updated https://wiki.oasis-open.org/xdi/EquivalenceLinks page, and it looks really good.
My only question is about the final example in https://wiki.oasis-open.org/xdi/EquivalenceLinks#Examples-1
In this example, the operation is a $mod, and the standard graph response is:
=abc/$is/=!1111
My question is, why is the response to a $mod operation an equivalence link? Why isn't it just something indicating success?
Thanks,
=Drummond
On Mon, Nov 19, 2012 at 2:51 PM, Markus Sabadello <markus.sabadello@gmail.com> wrote:
Per my action item from the last XDI TC call, I worked a bit on this page:
- I added information and examples for $add, $mod and $del operations
- I also changed some of the wording in the other sections of the page, just to clarify things
I updated the following pages to reference the EquivalenceLinks one:
In the next few days, I'll work on the GetOperation page (the only one of the operations that's still missing).
I also updated the implementation:
You can try the samples 8, 9 and 10 to see some of the equivalence links functionality in action.
Looking forward to discuss.
Markus
--
Project Danube: http://projectdanube.org
Personal Data Ecosystem Consortium: http://personaldataecosystem.org/--
You received this message because you are subscribed to the Google Groups "XDI2" group.
To post to this group, send email to xdi2@googlegroups.com.
To unsubscribe from this group, send email to xdi2+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]