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

On 7 September 2010 17:33, Axel Polleres <axel.polleres@deri.org> wrote:
>
> 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.

Thanks.
>
>> 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.

Ok. I'll add that as D-Entailment test case then. I tend to forget
D-Entailment, but we do have it ;-)
Birte

> 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
>>
>
>



-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520

Received on Tuesday, 7 September 2010 18:47:06 UTC