W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2003

Re: Peter's objection to the RDF(S) rules

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>
Message-Id: <1065486031.13827.75.camel@dirk.dm93.org>

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 EDT

This archive was generated by hypermail pre-2.1.9 : Monday, 6 October 2003 20:20:36 EDT