[tmcl-wg] Topic Map Constraint Language and Schematron

[Lars Marius Garshol]

* Lars Marius Garshol
|
| I think the idea is elegant, but I worry that if TMCL is made into a
| simple TMQL "client" in this way we may find that our ability to
| introspect schemas is limited by this approach. (I've discussed this
| with Robert, who does not appear to agree, several times without
| really reaching any conclusion.)

* Robert Barta
| 
| I think our conclusion was that (a) it is possible if the software
| understands the semantics but (b) that this is MUCH more difficult
| to write.

I certainly agree with that, so if you explicitly said this at the
meeting it's just me who can't remember. (That conference really wiped
my short-term memory completely blank.)
 
| My concern is, though, if we insist on introspection (or at least
| the way I understand Lars), then we will have to end up with
| something elegant as Godzilla on ice (aka XML schema). :-)

Why do you think so?
 
| If you already go this path why not morph it into
| 
|   <assert>
|      <context>topic</context>
|      <constraint>tolog query</constraint>
|      ...
|   </assert>

The context is already given by the topic class definition that the
<assert>ion belongs to, so that's not necessary.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >