Re: The Standards Manifesto

[email protected] (Michael Kifer) Wed, 22 May 2002 17:07:03 -0400

Newsgroups	gmane.comp.web.general
Message-ID	<[email protected]>

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