[sc34wg3] TMCL: 4.4.2 Association Type Constraint

[Robert Barta]

On Thu, Feb 14, 2008 at 11:04:48AM -0000, Graham Moore wrote:
> >> 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.

I think this belongs to "meta-model/reflection/introspection". I have
listed as terms

  schema
  whole, part, is-part
  topic-type
  constraint
  role-type
  applies to
  ...

but there are more, of course.

\rho

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

-- 
And then he said: "You should read my blog." http://kill.devc.at/