ISSUE-370: Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred

tracedTo-inference-only

Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred

State:
CLOSED
Product:
prov-dm
Raised by:
Luc Moreau
Opened on:
2012-04-30
Description:
TracedTo was introduced in the data model so as to have a transitive relation over derivations, etc. It can be inferred. In contrast, its definition as an assertion was not very compelling. In the latest version of prov-constraints, it is only defined as something that can be inferred.

Really, it looks like a relation that is useful to express queries.

So, in the spirit of simplification, should we move it out of prov-dm, and have it defined in prov-constraints only.

At the same time, it could be simplified to a binary relation, since we have no way of inferring attributes for this relation.
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from l.moreau@ecs.soton.ac.uk on 2012-09-04)
  2. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-05-15)
  3. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from lebot@rpi.edu on 2012-05-15)
  4. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-05-15)
  5. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jun.zhao@zoo.ox.ac.uk on 2012-05-03)
  6. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from soiland-reyes@cs.manchester.ac.uk on 2012-05-02)
  7. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
  8. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-04-30)
  9. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
  10. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-04-30)
  11. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-30)
  12. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
  13. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-30)
  14. Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
  15. PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from sysbot+tracker@w3.org on 2012-04-30)

Related notes:

No additional notes.

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 370.html,v 1.1 2013-06-20 07:37:39 vivien Exp $