- From: Dan Connolly <connolly@w3.org>
- Date: 30 Jan 2002 16:03:39 -0600
- To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Cc: Jeremy Carroll <jjc@hplb.hpl.hp.com>, RDF core WG <w3c-rdfcore-wg@w3.org>
On Wed, 2002-01-30 at 14:58, Graham Klyne wrote: > At 11:41 AM 1/30/02 -0600, Dan Connolly wrote: [...] > >Not so... The query above is clearly analagous > >to an entailment test; i.e. it's clearly within the scope of our > >model theory spec, and soon to be in scope of our test cases spec. > > It is? When I try to turn that into an entailment test, I seem to end up > with either the original statement, or something that isn't covered in > present RDF; the nearest I can get is this: > > Does this: > _:f <dc:Title> "10" . > <mary> <age> "10" . > > entail this?: > _:x <dc:Title> _:y . > _:z <age> _:y . > _:x = _:f . > _:y = "10" . > _:z = <mary> . It's simpler than that; here's the premise: _:f rdf:type <#Film> . _:f dc:title "10" . <#mary> ex:age "10" . here's the (purported) conclusion: _:x dc:title _:y. _:z ex:age _:y. for full details, with all the namespaces spelled out, here's the premise: http://www.w3.org/2000/10/swap/test/dt10-premise.rdf and here's the conclusion: http://www.w3.org/2000/10/swap/test/dt10-conc.nt > and even this uses something that is not (currently) defined in RDF, namely > '='. What, exactly, should we take '=' to mean? > > Is this even remotely close to what you're suggesting here? -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 30 January 2002 17:04:26 UTC