W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2004

Re: Test cases: source of a triple

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 26 Aug 2004 23:56:04 +0200
To: andy.seaborne@hp.com
Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
Message-ID: <OFC3A0256F.53C2EAC4-ONC1256EFC.00777EA9-C1256EFC.00787EB5@agfa.com>

AndyS wrote:
> And if:
>   a.rdf:
>   :x rdf:type :C1 .
>   :C1 rdfs:subClassOf :C2 .
>   b.rdf:
>   :C1 rdfs:subClassOf :C2 .
> the RDF merge is the same but there are two ways to get the :x rdf:type 
> and there is only one query solution.

that's right and we tested that and found 2 proofs with
the same conclusion, so there is indeed 1 query solution

> Seems to be getting a step on the way to proofs here.

indeed, very much like that...
having thought very hard about that, I don't see a
realistic way to put src info in the query solutions

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS besides src info, we actually have 21 other
things that we internally connect to an RDF triple
Received on Thursday, 26 August 2004 21:56:46 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:44 UTC