So the matrix of which context types can contain which looks like this, if I'm not mistaken, except the page doesn't say what variable contexts can contain:
r i c s d v v
---------------------------------------------------------
root x x x x x
inst x x x x x a
class x x x x x
single x x x x x a
defin x x x x x
varia ? ? ? ? ? ?
value
I think I can sum it up in these rules:
Only instance or singleton can contain a value; value can't contain anything
Only root or defn can contain a root; root or defn can't directly contain an instance
I don't know what variable can contain
When not covered by the above, anything can contain anything.
On May 21, 2013, at 9:30 PM, Drummond Reed <> wrote:
After a discussion with Joseph today, we agreed that the core XDI graph model rules he is trying to make sure are fully captured in the ABNF should also be written down as classic RFC style MUST/MAY/SHOULD rule form.
We have done this in several earlier iterations, but to bring this all together and make it consistent with our revised syntax, I have drafted this new proposal page:
https://wiki.oasis-open.org/xdi/GraphModelRules
Please read it over and post any feedback or corrections to the list (or make them directly to the page).
Thanks,
=Drummond
