[sc34wg3] TMCL: 4.4.2 Association Type Constraint

[Robert Barta]

Relative to

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

4.4.2 uses 'topictype' in the text although it is about Assocs.

I would propose a different writing, say, topicType or topic-type. Makes
much better reading/typing, IMHO.

The CTM template is using ?atc1 and *atc1. What about using ?this
consistently for ALL! templates.

What I do not understand is the invocation of

   AddConstraintToSchema(..)

because in 4.2.4 it is called ConstraintIsPartOfSchema.

What is confusing too, is that in there is a

  part-of (?schema : ......)

which tells me that for each invocation the same schema object will be
referred to (is this what ?schema means?). The problem I see here is
actually a CTM one: how to keep such named-wildcards local to a
template:

 myShinyTemplate ..... :-

    ?new-topic ... .

    is-funny (entertainer: ?new-topic) .

 .

Because that is need too!


And: where is 'part-of' and any other ontological expectations
documented?

\rho

--
Austrian Research Centers, Environmental Monitoring Systems
http://www.smart-systems.at/rd/rd_environment_en.html