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