1 / 12

What legal inferences in OPM

What legal inferences in OPM. OPM Workshop Luc Moreau. wasTriggeredBy. wasGene- ratedBy(R2 ). P2. A1. P1. A2. used(R1). used(R3). Acc2. Acc1. Acc3. wasDerivedFrom. wasGeneratedBy. used. wasDerivedFrom. Problem. This rule leads to unexpected inferences. 1 egg. 100g Butter.

merv
Download Presentation

What legal inferences in OPM

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. What legal inferences in OPM OPM Workshop Luc Moreau

  2. wasTriggeredBy wasGene- ratedBy(R2) P2 A1 P1 A2 used(R1) used(R3) Acc2 Acc1 Acc3 wasDerivedFrom wasGeneratedBy used wasDerivedFrom

  3. Problem • This rule leads to unexpected inferences

  4. 1 egg 100g Butter wasGeneratedBy(unused) used(butter) 2 eggs used(egg) Bake bad Cake wasGeneratedBy(cake) 100g Sugar used(sugar) used(flour) 100g Flour

  5. Using this rule, we can infer that the • Unused egg was derived from the flour!

  6. Origin of the Problem (1) • Definition 5 [Artifact Used by Process]: In a graph, connecting a process to an artifact by a used edge is intended to indicate that the process required the availability of the artifact to complete its execution. When several artifacts are connected to a same process by multiple used edges, all of them were required for the process to complete.

  7. Origin of the Problem (2) • Definition 6 [Artifacts Generated by Processes] In a graph, connecting an artifact to a process by an edge wasGeneratedBy is intended to mean that the process was required to initiate its execution for the artifact to be generated. When several artifacts are connected to a same process by multiple wasGeneratedBy edges, the process had to have begun, for all of them to be generated.

  8. Origin of the Problem (3) • Inferring that an output was derived from a process input is therefore not valid

  9. Solution to the Problem (1) • PASOA model allows only one input per process and relationships are between 1 input and all the inputs that were required for the derivation to take place

  10. Solution to the Problem (2) • Rename wasDerivedFrom into mayHaveBeenDerivedFrom • Very weak semantics

  11. Solution to Problem (3) • Strength definitions 5 • Definition 5: inputs need to be available for the process to begin (as opposed to complete)

  12. Solution to Problem (4) • Use time annotations to restricted permitted inferences • Problem: we thought that provenance could be timeless • Time is no longer really an annotation • Causality implies time, but time does not imply causality!

More Related