- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 6 Jun 2001 15:52:30 -0500
- To: "Jonathan Borden" <jborden@mediaone.net>
- Cc: "Tim Berners-Lee" <timbl@w3.org>, "Drew McDermott" <drew.mcdermott@yale.edu>, <www-rdf-logic@w3.org>
>1) It occurs to me that the RDF syntax might accept a top level attribute >that indicates to a parser which statements are to be asserted directly as >triples, and which are to serve as the root of an expression that is to be >asserted e.g. This can be easily decided based on namespaces e.g. > >rdf:assertNamespaces="log kif" -- prefixes used -- would indicate that >expressions such as: > ><kif:forall ...> are indended to be asserted as formulae/expressions (and >the nested triples are _not_ asserted). > >whereas > >rdf:assertNamespaces="*" provides for the current RDF situation where every >triple is asserted. That makes sense to me, but I don't know if it would to the rdf gurus. What would be the 'scope' of such a declaration? Would it mean that one could not mix 'kif-rdf ' and plain rdf in one document? If so that might be a bit restrictive. >2) There seems to be a good amount of overlap between what Drew has proposed >for a reformulation of RDF, what N3 incorporates into the "log" namespace, >and what you are suggesting for the "kif" namespace. > >Perhaps this _is_ the logic language LL we are all discussing. Assuming the >"..." syntax works as described does kif require much more? I agree that we are all pretty close when it comes to what might be called the intended abstract logical syntax. (BTW that doesn't surprise me: AI has been reinventing this wheel over and over again for many years. All the Krep notations ever devised have pretty much turned out to be alternative syntaxes for some variety of FOL.) But I think part of the fun should be to allow a variety of logical syntaxes to all be constructed on top of RDF so that they can use the common part to intercommunicate as far as possible. Pat --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 6 June 2001 16:52:34 UTC