[sc34wg3] TMCL: 4.4.2 Association Type Constraint

[Graham Moore]

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

Yes, I will try that out.

>> What I do not understand is the invocation of
>>   AddConstraintToSchema(..)
>> because in 4.2.4 it is called ConstraintIsPartOfSchema.

AddConstraintToSchema is a template. ConstraintIsPartOfSchema is the
association type created to connect the association type to the schema.

>> What is confusing too, is that in there is a
>>  part-of (?schema : ......)

Yes it is the same schema. We did discuss the CTM implication of this in
that a single CTM file can only create ONE schema using these templates,
but is free to create its own templates where the schema is a parameter.

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

At the moment these are documented in the CTM file and used where
needed. I'm not sure how much description they need. We could perhaps
mention them under introspection, or the evaluation sectionas the
mechanism by which a processor identifies all the constraints for a
given schema or by which some application can list the constraints of a
given schema.

Robert, this is all good stuff please keep it coming.

Graham


--------------------------------------------
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: 14 February 2008 09:55
To: Discussion of ISO/IEC 13250 Topic Maps
Subject: [sc34wg3] TMCL: 4.4.2 Association Type Constraint

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


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