Re: doing provenance in RDF 1.0 clarified

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 UTC