ISSUE-587: Concerns about analogies to RDF blank nodes/semantics

rdf-analogies

Concerns about analogies to RDF blank nodes/semantics

State:

CLOSED

Product:

prov-dm-constraints

Raised by:

James Cheney

Opened on:

2012-10-25

Description:

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.

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-06)
2. Re: PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
3. Re: PROV-WG response to comments on constraints (from antoine.zimmermann@emse.fr on 2012-11-01)
4. PROV-WG response to comments on constraints (from jcheney@inf.ed.ac.uk on 2012-11-01)
5. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
6. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
7. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-11-01)
8. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-11-01)
9. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from p.t.groth@vu.nl on 2012-11-01)
10. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
11. Re: Reminder: Review of responses to PROV-CONSTRAINTS public comments (from l.moreau@ecs.soton.ac.uk on 2012-10-31)
12. Reminder: Review of responses to PROV-CONSTRAINTS public comments (from jcheney@inf.ed.ac.uk on 2012-10-31)
13. Review of PROV_CONSTRAINTS issues (ISSUE-582, ISSUE-586, ISSUE-587, ISSUE-588) (from jcheney@inf.ed.ac.uk on 2012-10-26)
14. PROV-ISSUE-587 (rdf-analogies): Concerns about analogies to RDF blank nodes/semantics [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-10-25)

Related notes:

No additional notes.

Display change log