W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: A plea for peace. was: RE: DAML+OIL (March 2001) release

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 3 Apr 2001 22:49:37 +0100
To: phayes@ai.uwf.edu
Cc: jborden@mediaone.net, www-rdf-logic@w3.org
Message-Id: <OF9B82BF9E.59BA9853-ON41256A23.00779C06@bayer-ag.com>


> [Pat]
> The way to fix RDF is to admit that logical content requires the use
> of some - maybe not many, but some - nontrivial syntactic
> constructions, in particular the use of nested expressions and
> quantifier scoping;

true! how could we express negation? (given the open Web)

> to abandon the idea that syntax is the same as,
> or best coded using, reification;

true (I learned that not so long ago, but better late than never)

> and to make a committment to
> precision in specifying logical meanings (which might include being
> precise about what one is NOT saying, by the way: precision doesnt
> entail being exhaustive.)

(again) how could we express that *NOT saying* (in an explicit way)

> The tools for doing this have been
> available for more than half a century and are about as thoroughly
> understood as any part of modern mathematical practice can possibly
> be.

I like that comparison with *modern mathematical practice*

> Once one uses the proper tools, it is much easier to do good
> work; in fact, the tools often do a large part of ones thinking
> automatically.

fine

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 3 April 2001 16:50:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT