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