- From: Steve Harris <S.W.Harris@ecs.soton.ac.uk>
- Date: Thu, 26 Aug 2004 11:47:26 +0100
- To: RDF Data Access Working Group <public-rdf-dawg@w3.org>
On Thu, Aug 26, 2004 at 09:47:46 +0100, Andy Seaborne wrote:
> == Test case 1 : union case:
>
> a.rdf:
> :r :p :v .
>
> b.rdf:
> :r :p :v .
>
>
> This has one result:
> SELECT * WHERE { ?x ?y ?z }
Possibly, depending on how you define union.
SELECT DISTINCT * WHERE { ?x ?y ?z }
has one result, certainly.
> == Test case 2: inference
>
> Data:
> a1.rdf:
> :x rdf:type :C1 .
> :C1 rdfs:subClassOf :C2 .
>
> Query:
> SELECT * WHERE { ?x rdf:type :C2 }
>
> ?x = :x
> ?src = <a.rdf> maybe.
Assuming you missed the SOURCE ?src bit, then I dont think ?src should
bind to <a.rdf>, the triple (? rdf:type :C2) does not appear in a.rdf.
Same applies to the following examples.
- Steve
Received on Thursday, 26 August 2004 10:47:30 UTC