Re: TMCL role combination question

* Robert Cerny
> 
> Yet, it is still better to use distinct topic role constraints, because otherwise i cannot prohibit 'continent' from being a 'containee'. Because in the above model both topic role constraints (for container and containee) work on the same (abstract) super type A.
> 
> Correct?

Better than what? :)

The spec has:

contained-in isa tmcl:association-type;
 has-role(containee, 1, 1);
 has-role(container, 1, 1);
 role-combination(containee, city, container, province);
 role-combination(containee, province, container, country);
 role-combination(containee, country, container, continent).

That does prohibit 'continent' from being a 'containee'. It also prevents 'continent' from being the 'container' of anything but a 'country'. And so on.

--Lars M.
http://www.garshol.priv.no/tmphoto/
http://www.garshol.priv.no/blog/