Re: SEM: "natural" entailments

[...]

> This is a fascinating topic in foundations of mathematics, but (1) we
> are all of us amateurs at it, and (2) it seems totally irrelevant to
> the SW. We would be better spending our time helping Tim get N3
> sorted out.

yes and it's not too difficult to write lines of N3
statements that you hold as being the case or that
you would like to see concluded

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Tuesday, 24 September 2002 19:18:08 UTC