[sc34wg3] New syntax for (binary) associations

Robert Barta rho at devc.at
Sat Feb 2 05:37:45 EST 2008

On Sat, Feb 02, 2008 at 11:15:51AM +0100, Robert Barta wrote:
> I have experimented with the following, without using a template, but
> to deal with proper role names:


>    rho employee_works-for_employer are .      # the _ separates role from type
> Nothing really convincing.

Before I forget: One thing I also had tried in the past is to treat
the association type as 'derived', i.e. derived from the combination
of roles:

   rho employee_employer arcs .

The AsTMa processor would produce

   tm:subject (employee: rho, employer: arcs) .

and it were later the task of TMCL or a TMOL (future TM ontology
language) to say:

   # whenever there is THIS combination
   * (employee: $a, employer: $b) 
     # then this is THIS assoc type
     => is-employed-by (employee: $a, employer: $b)

   ! "is employed-by" @ employee
   ! "employs" @ employer


More information about the sc34wg3 mailing list