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

doing provenance in RDF 1.0 clarified

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 EST

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