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

Lars Marius Garshol sc34wg3@isotopicmaps.org
Fri, 11 Mar 2005 15:36:00 +0100

* Murray Altheim
| How are you differentiating "logic" and "mathematical" as regards
| models?

Set theory, graph theory, the theory of algorithmic complexity,
abstract algebra, rewriting systems, etc etc are all part of
mathematics, but not they are not logic. Quite a few of these
mathematical subfields *could* have been used to create a model of
topic maps that would not be a logical model.
| It is the field of mathematical logic (including set theory and
| others) that provides the tools by which we may create model
| theories.

Correct. \Tau doesn't use mathematical logic, nor model theory,
however. Hence my suspicion that \Tau wouldn't satisfy
Patel-Schneider's requirements.

| [...] I hardly think it fair to so quickly dismiss Robert's work as
| not fulfilling Patel-Schneider's putative requirements.

I'm not dismissing \Tau. I'm questioning Patel-Schneider's

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