W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: SEM: "natural" entailments

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 25 Sep 2002 01:17:24 +0200
To: "pat hayes <phayes" <phayes@ai.uwf.edu>
Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OF51785DEA.5F0D1561-ONC1256C3E.007E31DE-C1256C3E.007FEF4D@agfa.be>


> 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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:47 UTC