- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Thu, 25 Oct 2012 16:53:32 +0000
- To: public-prov-wg@w3.org
PROV-ISSUE-587 (rdf-analogies): Concerns about analogies to RDF blank nodes/semantics [prov-dm-constraints] http://www.w3.org/2011/prov/track/issues/587 Raised by: James Cheney On product: prov-dm-constraints A sub-issue of ISSUE-576. >From Antoine Zimmermann's email: http://lists.w3.org/Archives/Public/public-prov-comments/2012Oct/0004.html """ Equivalence and Isomorphism [...] This is similar to the notion of equivalence used in [RDF] """ RDF does not defined its own notion of equivalence. Equivalence in RDF is simply imposed by its formal semantics, following the standard notion of equivalence in all logics. ... """ Analogously to blank nodes in [RDF], the scope of an existential variable in PROV is the instance level """ This is true for RDF graphs, but RDF doesn't say anything about the scope of bnodes in complex structures formed out of multiple RDF graphs, such as RDF datasets. This is therefore a constraint that must be indicated and highlighted in PROV.
Received on Thursday, 25 October 2012 16:53:33 UTC