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

Re: doing provenance in RDF 1.0 clarified

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Mon, 11 Feb 2002 10:58:45 +0200
To: "ext jos.deroo.jd@belgium.agfa.com" <jos.deroo.jd@belgium.agfa.com>, RDF Core <w3c-rdfcore-wg@w3.org>
Message-ID: <B88D5465.DE99%patrick.stickler@nokia.com>
On 2002-02-10 17:14, "ext jos.deroo.jd@belgium.agfa.com"
<jos.deroo.jd@belgium.agfa.com> wrote:

> One way of doing provenance in RDF 1.0 clarified I could [*] think of is
> 
> <source> rdf:li [ a rdf:Statement; rdf:subject :s; rdf:predicate :p;
> rdf:object :o ] .
> 
> where <source> is a uriref pointing to an RDF document on the Web
> and Statement is according to a "yes" on DanBri's entailment test case
> and rdf:li a rdfs:ContainerMembershipProperty .
> 
> --
> Jos
> 
> [*] could be via done based on an axiom a la
>   { ?so log:includes { ?s ?p ?o } } log:implies
>     { ?so rdf:li [ a rdf:Statement; rdf:subject ?s; rdf:predicate ?p;
> rdf:object ?o ] } .
> 

I'm not quite sure why you would turn it around that way. Why
not just define a source property for the statement node? I.e.

   [ a rdf:Statement; rdf:subject ...; x:scope some:scopeURI ]


Patrick


--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
Received on Monday, 11 February 2002 06:54:47 EST

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