[sc34wg3] abstract-constraint isa topic-type?
robert at cerny-online.com
Fri Jan 29 03:53:54 EST 2010
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  - goes for all
 http://www.isotopicmaps.org/tmcl/schema.ctm (Draft version of
More information about the sc34wg3