[sc34wg3] TMCL: 4.4.10 NameConstraint

[Graham Moore]

I think it's:

For the specified topic type it must have the specified number of names
of that given name type. Which I think is the same as...

>> Or (more likely) should at least M and at most N times a name of this
given type be used for a topic of a certain class?

--------------------------------------------
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
 

-----Original Message-----
From: sc34wg3-bounces at isotopicmaps.org
[mailto:sc34wg3-bounces at isotopicmaps.org] On Behalf Of Robert Barta
Sent: 15 February 2008 05:31
To: Discussion of ISO/IEC 13250 Topic Maps
Subject: [sc34wg3] TMCL: 4.4.10 NameConstraint

Relative to

   http://kill.devc.at/system/files/tmcl.pdf

4.4.10 How is this intended? 

  A topicname constraint provides a way to constrain the type and
  cardinality of topic names for instances of a given topic type.

So should ALL names of a certain class be of this name type? So that
there can never be a name type used not allowed. And such names occur
at least M and at most N times in that topic?

Or (more likely) should at least M and at most N times a name of this
given type be used for a topic of a certain class?

The latter would be

  every $t in // $$type
  satisfies
     at least $$cardmin $n in $t / name
       satisfies $t >> types == $$nametype
   & at most  $$cardmax $n in $t / name
       satisfies $t >> types == $$nametype

or shorter

  every $t in // $$type
  satisfies
     at least $$cardmin $n in $t / $$nametype
       satisfies exist 1
   & at most  $$cardmax $n in $t / $$nametype
       satisfies exist 1

--

And a better (documented) example would help.

--

And what should the * mean in TMCL

   NameConstraint (...., *, ....)

?

\rho

_______________________________________________
sc34wg3 mailing list
sc34wg3 at isotopicmaps.org
http://www.isotopicmaps.org/mailman/listinfo/sc34wg3