Yet another proposal from Drew McDermott on 2001-08-13 (www-rdf-logic@w3.org from August 2001)

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Mon, 13 Aug 2001 18:39:52 -0400 (EDT)
To: www-rdf-logic@w3.org
Message-Id: <200108132239.f7DMdqB02232@pantheon-po01.its.yale.edu>

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

Received on Monday, 13 August 2001 18:40:10 UTC