Re: Thinking out lout about some strange SPARQL entailment test cases...

On 7 Sep 2010, at 16:39, Birte Glimm wrote:

> >  G:
> >   :s :p 1
> >
> >  Q:
> >  SELECT ?L
> >  WHERE { ?L a xsd:integer }
> 
> I just added these test cases and I was wondering whether the 1 in the
> graph should not be "1"^^xsd:integer. Isn't it a SPARQL specific way
> of writing 1 as shortcu for "1"^^xsd:integer or is that also in
> Turtle?

http://www.w3.org/TeamSubmission/turtle/ Section 2.4 allows this.


> Also, is a pure RDFS systems (without any additional datatype
> support) required to read any datatype? I imagine most systems will
> happily read properly typed literals and if 1 is a Turtle abbreviation
> for "1"^^xsd:integer, then it should be fine I guess, but I am not
> sure whether they MUST anything of the form "..."^^URI.

That use case was meant for D-entailment, whereas the literal one was meant for RDFS.

HTH,
Axel



> Birte
> 
> > Obviously, those will not give an answer, but some people might expect those to return surrogate blank nodes... a colleague of mine just came to me with that (in a different context), and I thought I might share it.
> >
> > Axel
> 
> 
> 
> --
> Dr. Birte Glimm, Room 309
> Computing Laboratory
> Parks Road
> Oxford
> OX1 3QD
> United Kingdom
> +44 (0)1865 283520
> 

Received on Tuesday, 7 September 2010 16:34:38 UTC