Re: [xdi] Splitting $is into $is and $ref

[Markus Sabadello <markus.sabadello@xdi.org>]

I think I understand, so an XDI server would automatically follow $ref arcs the way it is following $is arcs now?

What would an XDI server do when it encounters a $is arc?

Wouldn't there be many cases where you'd need both a $is arc and a $ref arc, therefore making the graphs bigger than they are today?

Would there still be a distinction between public/standard and private/compact equivalence links, e.g. $ref and $ref! ?

What would the "I am" statements look like?

Currently they look like this:

(=!91F2.8153.F600.AE24)/$is/()

()/$is$is/(=!91F2.8153.F600.AE24)

Markus

On Tue, Dec 11, 2012 at 3:50 AM, Drummond Reed <drummond.reed@xdi.org> wrote:

Although it's been a very busy week, in my background "cook time" I've been thinking about the suggestion on last Friday's TC call that we split the current proposal for $is predicate behavior (https://wiki.oasis-open.org/xdi/EquivalenceLinks) into two verbs.

The strawman I began playing with this weekend was to break it into:

1. $is = logical equivalence = symmetric, transitive, reflexive
2. $ref = canonical directional equivalence = asymmetric, intransitive, irreflexive

In thinking it through, I realized that this works very cleanly in three ways:

1. Every standalone use of $is as a predicate that we currently have (at least in the XDI graph model document) would become $ref
2. Everyplace where $is is used as the PREFIX for another predicate (e.g., $is$do) would NOT change, i.e., IMHO $is would still work well for this inversion function.
3. This means that the awkward $is$is predicate (needed to identify the equivalence links for root nodes, for example) would now become $is$ref, which reads much better and is certainly more intuitive.

So, at this point I'm very much liking this idea, and I'm ready to write it up as a formal change to the https://wiki.oasis-open.org/xdi/EquivalenceLinks proposal, but first I wanted to post it here on the mailing list for discussion. (I'm also copying this to https://wiki.oasis-open.org/xdi/EquivalenceLinks/Discussion).

=Drummond