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

> [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 UTC