Re: TMCL role combination question

Lars Marius Garshol <[email protected]> Fri, 4 Feb 2011 10:21:51 +0100

Newsgroups	gmane.text.xml.xtm.general
Message-ID	<[email protected]>

* Robert Cerny
> 
> Let's take the example from [1] which restricts 'containment' to:
> 
> city (in) province (in) country (in) continent
> 
> If all these topic types have a common super type A and only A has topic role constraints for containment, do the role combination constraints still kick in and if so why?

Basically, in TMCL, all the constraints that you assert are verified. End of story.

So, yes, the combination constraints kick in, and they do that because there's no logic anywhere that looks to see if they might possibly be turned off by other constraints.

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