>>>>> "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 kiferReceived on Wednesday, 22 May 2002 17:07:20 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:36 UTC