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 archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:03 GMT