- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 22 May 2002 17:07:03 -0400
- 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 UTC