- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 01 Jun 2001 16:12:18 -0500
- To: Drew McDermott <drew.mcdermott@yale.edu>
- CC: www-rdf-logic@w3.org
Drew McDermott wrote: [...] > As RDF stands, the obvious way of representing (if p q) > has the drawback that we could infer p and q from (if p q) alone, > because RDF allows the inference of all the triples of a formula from > any formula containing them. I don't know why people keep saying that. It's just not so. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 1 June 2001 17:12:26 UTC