ISSUE-157: wasInformedBy's non-transitivity

TLebo

wasInformedBy's non-transitivity

State:
CLOSED
Product:
Ontology
Raised by:
Timothy Lebo
Opened on:
2011-11-21
Description:
The argument that wasInformedBy is not transitive is not clear and convincing.

1) Does the diagram correctly illustrate the assertions wasInformedBy(a2,a1) and wasInformedBy(a3,a2), and wasInformedBy(a3,a1)? There seems to be a lot of additional unstated assumptions that are embodied by the diagram beyond these three DM assertions.

2) It appears that the counterexample is using a "degenerate" situation, when the argument for non-transitivity can ALSO be made for activities following a more natural time flow (e.g., even when e2 is used AFTER e1 is generated). In this situation, we do not _know_ that the information in e2 is related to the information in e1 _in any way_.

3) There is a "Note: This relation to be simplified using wasStartedBy/wasEndedBy.". Could someone point me to the expected changes here?


Thanks,
Tim


Reference:


http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-OrderingOfActivities :

"""
The relationship wasInformedBy is not transitive. Indeed, consider the records wasInformedBy(a2,a1) and wasInformedBy(a3,a2), the record wasInformedBy(a3,a1), may not necessarily hold, as illustrated by the following event line.

------ a1
|
e1
|
------- a2
|
e2
|
----- a3

The end in activity record identified by a3 precedes the start in activity record identified by a1, while interval for activity record a2 overlaps with each interval for a1 and a3, allowing information to flow (e1 and e2, respectively).
"""
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-157 (TLebo): wasInformedBy's non-transitivity (from lebot@rpi.edu on 2012-03-05)
  2. Re: PROV-ISSUE-157 (TLebo): wasInformedBy's non-transitivity (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
  3. Re: PROV-ISSUE-157 (TLebo): wasInformedBy's non-transitivity (from lebot@rpi.edu on 2011-12-02)
  4. Re: PROV-ISSUE-157 (TLebo): wasInformedBy's non-transitivity (from L.Moreau@ecs.soton.ac.uk on 2011-11-21)
  5. PROV-ISSUE-157 (TLebo): wasInformedBy's non-transitivity (from sysbot+tracker@w3.org on 2011-11-21)

Related notes:

This comments seems to mirror something I put to the list concerning derivation (what does being informed by actually mean? Is it a kind of derivation?). I fear this may be over-ontologizing.

cf. http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0294.html

Graham Klyne, 22 Nov 2011, 11:34:16

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: 157.html,v 1.1 2013-06-20 07:37:24 vivien Exp $