doing provenance in RDF 1.0 clarified from jos.deroo.jd@belgium.agfa.com on 2002-02-10 (w3c-rdfcore-wg@w3.org from February 2002)

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 10 Feb 2002 16:14:54 +0100
To: w3c-rdfcore-wg@w3.org
Message-Id: <OF90F67394.B24DE97D-ONC1256B5C.0052D82D@bayer-ag.com>

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 ] } .

Received on Sunday, 10 February 2002 10:16:55 UTC