W3C home > Mailing lists > Public > www-talk@w3.org > May to June 2002

Re: The Standards Manifesto

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Wed, 22 May 2002 17:07:03 -0400
Message-Id: <200205222107.RAA19820@sbcs.cs.sunysb.edu>
To: "Tim Berners-Lee" <timbl@w3.org>
cc: www-rdf-interest@w3.org, www-talk@w3.org, "Aaron Swartz" <me@aaronsw.com>, "Simon St.Laurent" <simonstl@simonstl.com>
>>>>> "TBL" == "Tim Berners-Lee" writes:
>>>>> "AS" == "Aaron Swartz" writes:

   AS> * RDF-Logic (a FOL system with URIs)

   TBL> Contentious.  RDF can hardly be first order,as it allows
   TBL> making statements about documents and hence about statements.

Reification is syntactically higher order, but it doesn't need to be so
semantically: http://citeseer.nj.nec.com/chen89hilog.html


	--michael kifer
Received on Wednesday, 22 May 2002 17:07:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 27 October 2010 18:14:27 GMT