OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

xdi message

[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

barnhill_william@bah.com

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]