Re: The Standards Manifesto

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