[sc34wg3] New syntax for (binary) associations

[Lars Heuer]

Hi Steve,

[...]
> |    john o:works-for The-Beatles .     (1)
> | 
> | becomes
> | 
> |    o:works-for(tmrdf:subject: john, tmrdf:object: The-Beatles)
[...]
> If we are not able to have (1) become (say)

>   o:works-for(o:employee: john, o:employer: The-Beatles)
>               ^^^^^^^^^^        ^^^^^^^^^^
> then we shouldn't do this.

No we cannot. We've to use templates for that purpose. Again, we
*could* change the syntax and allow:

        john
          o:works-for(employee: $_, o:employer: The-Beatles) # Assoc
          plays(o:piano, o:Imagine).                         # Templ.

where $_ (or any other symbol) refers to 'john'.

But I do not see much value here. It has almost the same cost as
defining an association outside of the topic.

Best regards,
Lars
-- 
http://www.semagia.com