[sc34wg3] abstract-constraint isa topic-type?
gra at networkedplanet.com
Fri Jan 29 03:43:21 EST 2010
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?
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:
> 1. tmcl:constraint isa tmcl:topic-type.
> 2. tmcl:abstract-constraint ako tmcl:constraint.
> 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
> sc34wg3 mailing list
> sc34wg3 at isotopicmaps.org
Graham Moore, Director, Networked Planet Limited
Editor XTM 1.0, ISO13250 (TopicMaps) -2,-3, TMCL
e: graham.moore at 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
More information about the sc34wg3