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

Lars Marius Garshol sc34wg3@isotopicmaps.org
Thu, 10 Mar 2005 15:08:35 +0100

* 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

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