[topicmapmail] some questions on tmcl

[Lukas Gießmann]

Hi,

I am currently working on an interface using TMCL and I have some problems.
After searching in different sources I hope to get some help by this way?

I have more questions and I hope that it's OK to ask them all in one mail?

*does a topic that is an instanceOf a defined constraint tmcl (e.g. "c 
isa topicname-constraint") need a validation-expression-occurrence, or 
are they only contained by the predefined constraint-topics?

*is there something like a scopetype-constraint?

*is there for every constraint (although some are of the same type) a  
separate constraint-topic necessary:
   topicoccurrence-constraint ako constraint
   ot-1 isa occurrencetype
   ot-2 isa occurrencetype
   tt isa topictype
  
   c isa topicoccurrence-constraint
             card-min: 0
             card-max: 1
             regexp: """.+"""

   applies-to(c: constraint-role, tt: topictype-role)
   applies-to(c: constraint-role, ot-1: occurrencetype-role)
   applies-to(c: constraint-role, ot-2: occurrencetype-role)
   // is this OK or must there exist another topicoccurrence-constraint 
topic
   // the same question to some other constraints, e.g. 
topicname-constraint,
   // association-roles ...

*if there is a topic defined representing any form of a type, e.g. 
topic/occurrence/name/association/... -type, must there exist an 
instance of this topic or why defines tmcl an 
abstract-topic-type-constraint?

*is something like this possible (if this is the case is this useful)?
  *aType isa topictype
    instanceOfa-1 isa aType
    instanceOfa-2 isa aType
    bType isa instanceOfa-1
    instanceOfb isa bType    // if this is OK, what constraints are
                                             // there those of aType or 
of instanceOfa-1 or both
  *aType isa topictype
    instanceOfa-1 isa aType
    instanceOfa-2 isa aType
    bType isa (instanceOfa-1 and topictype)
    instanceOfb isa bType                               // if this is 
OK, what constraints are
                                                                        
// there those of aType or of instanceOfa-1 or both
  *aType isa topictype
    a1-Type ako aType
    a2-Type ako aType
    instanceOfa1 isa a1-Type
    instanceOfa2 isa a2-Type   // if this is OK, what constraints are
                                                 // there those of aType 
or of instanceOfa-1 or both



Thanks & Best regards

Lukas