[sc34wg3] abstract-constraint isa topic-type?

[Graham Moore]

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?

Gra

On 29 January 2010 09:31, Robert Cerny <robert at cerny-online.com> wrote:
> Maybe i have a knot in my head, but i am having a hard time with the
> following argument:
>
> Assumptions:
> 1. tmcl:constraint isa tmcl:topic-type.
> 2. tmcl:abstract-constraint ako tmcl:constraint.
>
> Conclusion:
> tmcl:abstract-constraint isa tmcl:topic-type.
>
> I could give a long explanation which reasoning paths i tried (using TMDM
> and TMCL), but i want to keep that for later in case no one comes up with a
> sword sharp enough to cut through the knot :-)
>
> Best regards,
>
> Robert Cerny
>
> Software Development
> http://www.cerny-online.com
>
>
>
>
> _______________________________________________
> sc34wg3 mailing list
> sc34wg3 at isotopicmaps.org
> http://www.isotopicmaps.org/mailman/listinfo/sc34wg3
>



-- 
Graham Moore, Director, Networked Planet Limited
Editor XTM 1.0, ISO13250 (TopicMaps) -2,-3, TMCL
e: graham.moore at networkedplanet.com
w: www.networkedplanet.com
t: +44 1865 811131
m: +44 7769658611 (UK)
m: +47 45271713   (Norway)

Networked Planet Limited is registered in England and Wales, no. 5273377