W3C home > Mailing lists > Public > public-prov-wg@w3.org > October 2012

PROV-ISSUE-587 (rdf-analogies): Concerns about analogies to RDF blank nodes/semantics [prov-dm-constraints]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2012 16:53:32 +0000
Message-Id: <E1TRQgW-0000Tn-AF@tibor.w3.org>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:20 UTC