[sc34wg3] New syntax for (binary) associations
db3000 at mac.com
Sat Feb 2 13:39:12 EST 2008
On 2-Feb-08, at 5:15 AM, Robert Barta wrote:
> On Fri, Feb 01, 2008 at 01:52:19PM -0500, Dmitry wrote:
>> More I think about it, more I see value to have these standard roles.
>> From my perspective, it is more important to think about the nature
>> of association type and to put association type in the "right" name
>> space/domain and
>> to have well defined interpretation of type-subtype for
>> ako dc:has_part
>> I always can define user friendly names for roles for specific
>> association types:
>> tm: subject
>> - "Blog" @ blogging:has_post
>> - interoperability with RDF (almost without any annotations)
>> Should I call this thing TM-Lite :)
> You should call this thing "RDF heavy" :-)
I have a problem with understanding logical meaning of traditional
type-subtype relationship between association types and roles. It
became clear to me after TMQL discussions.
This example, I think, represents the original "need" that was
implemented through specialized roles.
o:works-for [ The-Beatles isa o:Employer]
> But you're definitely correct that the "role-business" has to be
> (better) addressed in CTM/TMQL/TMCL. In CTM this can be largely
> covered with templates, but it takes the effort to define them and
> then they create a "context":
> [ modulo the syntax of the day ]
> works-for ($e, $o) :-
> is-employed (employee: $e, employer: $o)
> # further down
> rho works-for arcs .
This would work for me, if we have a default mapping to tm:subject
something like this:
o:works-for($e, $o) => o:works-for(tm:subject: $e, tm:object :$o)
If someone wants to spend time defining templates for each
association type, I do not mind.
I do not see necessity for templates. Simple assertions will do the job:
subject_role o:Employee @ o:is-employed
object_role o:Employer @ o:is-employed
And again, this can be an overwriting behavior.
if I just say
I should be able to use it without any additional definitions as a
More information about the sc34wg3