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

Re: Reification as nesting

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 6 Jun 2001 15:52:30 -0500
Message-Id: <v04210145b7444727279e@[205.160.76.219]>
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 GMT

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