[sc34wg3] New syntax for (binary) associations
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
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