Yet another proposal

From: Drew McDermott <drew.mcdermott@yale.edu> Date: Mon, 13 Aug 2001 18:39:52 -0400 (EDT) Message-Id: <200108132239.f7DMdqB02232@pantheon-po01.its.yale.edu> To: www-rdf-logic@w3.org · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT

We have produced yet another idea for embedding classical logic in
RDF.  If you're interested, download "A Proposal for Encoding Logic in
RDF/DAML," the first paper at http::/www.cs.yale.edu/~dvm/daml/ .
Note: this time we don't propose extending RDF 1.0 in any way.

We hope to have an HTML version shortly.  

("We" = me and a few other coauthors.)

                                             -- Drew McDermott