- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 06 Oct 2003 19:20:32 -0500
- To: pat hayes <phayes@ihmc.us>
- Cc: w3c-rdfcore-wg@w3.org, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
On Mon, 2003-10-06 at 19:03, pat hayes wrote: [...] > in our case, > the RDF(S) rules transform RDF(S)-entailment into simple entailment, > so that S rdf-entails E iff you can derive an S' from S by using the > rdf rules such that S' simply entails E; but we don't give rules for > simple entailment itself. Yup, that's how I understand it. I had to scratch my head a bit the first time I thought hard about this, but I'm quite content with it. [...] -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 6 October 2003 20:20:33 UTC