[sc34wg3] TR: comment - RDFTM: Survey of Interoperability Proposals

[Lars Marius Garshol]

* Robert Barta
| 
| But then we realized that a sound mathematical model [1] allows you
| to define operations on topic maps and build - based on these
| operations - query and constraint languages.

Clearly that's good, but it's not what Patel-Schneider is asking for,
if I understand him correctly. He wants a *logic* model, not just a
mathematical one. So I guess \Tau won't make much difference in that
regard.

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