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