[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: 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 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
-- --
|
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]