[sc34wg3] TMCL: 4.4.6

[Robert Barta]

Relative to

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

4.4.6 AbstractTopicType

If I say

   vehicle isa tmcl:topicType
   isAbstract (vehicle) .

   car iko vehicle .

   my-mama-car isa car .

then my mama's car is also an instance of vehicle. At least this is
what TMDM says. Not in

  http://www.isotopicmaps.org/sam/sam-model/#sect-types

which remain silent on that part, but

  http://www.isotopicmaps.org/sam/sam-model/#sect-subtypes

in the 2nd NOTE is quite explicit.

What the constraint should say is that there are no "direct"
instances, but that concept does not exist in Topic Maps. Not
officially. Like in RDFS direct and indirect instances are
indistinguishable.

We discussed this in Leipzig in the context of TMQL/TMCL.

Not sure how to do this cleanly. Larsbot promised to think about it
:-)

\rho

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