using TMCL-constraints

Hi all,

 

I've question to the current TMCL-draft:

 

Let's examine my problem on the tmcl:topic-name-constraint:

1)

person isa tmcl:topic-type;

  has-name(ns:first-name, 1, 1).

 

This statement creates a new tmcl:topic-name-constraint instance c with the
occurrences tmcl:card-min (1) and tmcl:card-max (1), so a person must have
exactly one name of the type ns:first-name.

If I want to say that a person must also have a name of the type
ns:last-name, I can express it in the following:

2)

person isa tmcl:topic-type;

  has-name(ns:last-name, 1, 1).

 

My question is now:

Does the 2nd statement create a new instance of tmcl:topic-name-constraint
(cc) or uses it the first one (c) and creates just a new association of the
type tmcl:constrained-statement with the roles [player: ns:last-name,
instance-of: tmcl:constrained] and [player:c, instance-of: tmcl:constraint]?

 

 

Sincerely,

 

Lukas

_______________________________________________
topicmapmail mailing list
topicmapmail-Zo64W7twoUFWk0Htik3J/[email protected]
http://www.infoloom.com/mailman/listinfo/topicmapmail