Re: TMCL role combination question

Robert Cerny <[email protected]>
Newsgroups gmane.text.xml.xtm.general
Message-ID <[email protected]>
Am 07.02.2011 um 12:01 schrieb Lars Marius Garshol:

> * Robert Cerny
>> 
>> But if:
>> 
>> abstract-region isa topic-type;
>> is-abstract();
>> plays-role(containee, contained-in, 0, 1);
>> plays-role(container, contained-in, 0, *).
>> 
>> city ako abstract-region.
>> province ako abstract-region.
>> country ako abstract-region.
>> continent ako abstract-region.
>> 
>> How to i prevent continent to be contained in something? As far as i see, i can't.
> 
> Ah, right. True.
> 
>> So it is better to put the 'plays-role' at the subtypes.
> 
> That's one possibility, but it's weaker than using role-combination. You can't prevent a city from being contained in a continent, for example, that way.

The role combination constraints are out of question. They are necessary and they need to be at the subtypes. It is just about the topic role constraints.

If they are at 'abstract-region', then a 'continent' can be a 'containee', which i do not want. So they need to be at the subtypes.

Robert

PS: Sorry, Lars! You got this twice. Again!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.