[sc34wg3] Illustrating SIDPs

[Lars Marius Garshol]

* Robert Barta
| 
| In my view (some might disagree) a formal model is much closer to
| TMRM. Only in a second step I would try to express the additional
| constraints which TMDM imposes. That way TMDM is grounded and we
| still have a decent way to express the functionality needed for
| TMQL/TMCL.

For the record: this is pretty much what I'm thinking as well.

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