[sc34wg3] abstract-constraint isa topic-type?

[Robert Cerny]

On Jan 29, 2010, at 9:43 AM, Graham Moore wrote:

> That conclusion is not correct based on those assumptions. However, we
> do want to state that Abstract Constraint is a topic type as we want
> to use it to type topics. But it hasn't been implied by the assumed
> relationships you list.
>
> Does that help?

To a certain degree :) The conclusion is true. Right? So i am looking  
for the missing assumption that makes the argument sound. This being  
not an explicit statement in the topic map, but rather something that  
is in the TMDM or TMCL. Or if such an assumption does not exist, then  
the statement would have to be made explicit in [1] - goes for all  
constraint types.

Robert

[1] http://www.isotopicmaps.org/tmcl/schema.ctm (Draft version of  
2009-10-19).