W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2003

Re: Owl Rules and RDF Semantics

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Thu, 6 Nov 2003 17:24:18 -0500 (EST)
Message-Id: <200311062224.hA6MOIH21777@pantheon-po03.its.yale.edu>
To: www-rdf-interest@w3.org, www-rdf-logic@w3.org



Sorry, in the last two lines of my previous message I presupposed that
SAT was undecidable; obviously, I meant "NP-complete."  Maybe that
isn't so obvious....

-- 
                                             -- Drew McDermott
                                                Yale University CS Dept.

Received on Thursday, 6 November 2003 17:26:11 GMT

This message: [ Message body ]
Next message: Steve Harris: "Re: RDF Core Test Results: Call For Data Feeds"
Previous message: Drew McDermott: "Re: Owl Rules and RDF Semantics"
In reply to: Adrian Walker: "Owl Rules and RDF Semantics"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:20:13 GMT