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

# xdi message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Fwd: Attribute and singleton are properties of a node, not of an arc

• From: Joseph Boyle <planetwork@josephboyle.net>
• To: OASIS - XDI TC <xdi@lists.oasis-open.org>
• Date: Mon, 15 Apr 2013 07:35:39 -0700

 I've had all along a strong intuition that the attribute symbol & and singleton symbol ^ should go after the name they have been preceding.After examining the graph for this segment, I'm now clear that +markus+&^email needs to be +markus+email&^.Let's graph +markus+&^email keeping mind that subsegments label arcs, and implicitly there is a node between each arc in the path.           arc                  arcnode --------------> node ---------------> node         +markus         &^    +emailThe attribute symbol & signifies that the LAST node is capable of originating a value arc.The singleton symbol ^ signifies that the LAST node can originate a value arc to "the" email for Markus.& and ^ are constraints on a NODE, not on a particular arc.+markus+&^email puts &^ in the position of the middle node, which they don't apply to.+markus+email&^ puts &^ in the position of the last node, which they do apply to:          arc                  arcnode --------------> node ---------------> node        +markus               +email     &^So does &^ "really" belong with the preceding subsegment (as a suffix), or with the following subsegment (as a prefix), or neither (just a property of the node)?Each of those three choices is an arbitrary convention equally compatible with &^ located between the arc in and the arc out of the node it applies to.How about the six context symbols? They are really part of the arc's identifier, not the arc's source node or target node, so whether they precede or follow the name is arbitrary.  Preceding the name is what we are used to; following the name would be consistent with considering the attribute and singleton symbols to be suffixes.

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]