W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2002

Re: Datatyping Summary

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>
Message-Id: <1012428220.17946.58.camel@dirk>
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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:44:04 EDT