- From: Jun Zhao <jun.zhao@zoo.ox.ac.uk>
- Date: Sun, 25 Nov 2012 09:43:11 +0000
- To: public-gld-comments@w3.org
- CC: Provenance Working Group WG <public-prov-wg@w3.org>
Dear Organization Ontology Editors, The PROV WG reviewed the part of the document about extension to PROV. Generally speaking we agree with your following extensions: - org:originalOrganization as a subproperty of prov:used, - org:resultedFrom as a subproperty of prov:wasGeneratedBy - org:ChangeEvent as a subclass of prov:Activity In addition, we would like to draw your attention to the concept of derivation [1] in PROV, which refers to a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity. Based on some general knowledge, one might expect that a new organization should be a derivation of the old one, by some sort of transformation or update or simply setting up a new entity. But does this indeed make sense with the use cases that you consider? This is a strong albeit useful assertion, enabling you to trace the history of an organization. However, the semantics of the PROV model does not let you infer this relationship by the combination of generation and usage, i.e., from the following triples: ex:o2 org:resultedFrom ex:a1 ex:a1 org:originalOrganization ex:o1 The PROV model regards ex:o1 and ex:o2 as totally unrelated, unless their relationship is explicitly stated otherwise. If the definition of derivation does fit your use case, making use of this relationship in your ontology will make it much more in line with the upcoming provenance recommendation. So it is a matter to have a think about what you intend to achieve by using the prov:used and prov:wasGeneratedBy properties. If you want to include derivation in your ontology, then we make the following to suggestions: 1. We RECOMMEND that ex:o2 prov:wasDerivedFrom ex:o1 be explicitly asserted. (or a subproperty in the org: namespace) 2. Alternatively, you could add a property chain org:resultedFrom followed by org:originalOrganization => prov:WasDerivedFrom The second point is that the PROV model comes with a set of implicit semantics constraints (in its constraint document [2]). Although these constraints are not reflected in the PROV-O, we expect that a provenance validator, compliant with this document, will validate provenance statements on the Web. Therefore, it might be worthwhile to take a pause and think whether the intention behind your ontology might lead to any violation to relevant constraints. For example, the generation-precedes-usage constraint [3] requires that the event when a new organization was generated must precede the event when the same organization was used in the process of generating another organization. Finally, we would also like to bring your attention to the concept of invalidation. In the PROV data model we say that an entity can have a lifetime. And the invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity [4]. If this concept is adopted in the Organization Ontology, then you will be able to specify more precisely that the cease-to-exist of the old organization when a new organization was built up. Might this be helpful to your use cases? Please be aware that by using this concept, there are several related constraints to bear in mind. An example is the usage-precedes-invalidation constraint [5], which means that the event when an old organization ceased to exist must follow the event when it was used in the org:ChangeEvent activity. We, the WG as a whole, will be happy to help you with any other issue related to PROV. Hope this helps. Jun, on behalf of the PROV WG [1] http://www.w3.org/TR/prov-dm/#term-Derivation [2] http://www.w3.org/TR/2012/WD-prov-constraints-20120911/ [3] http://www.w3.org/TR/2012/WD-prov-constraints-20120911/#generation-precedes-usage [4] http://www.w3.org/TR/prov-dm/#term-Invalidation [5] http://www.w3.org/TR/2012/WD-prov-constraints-20120911/#usage-precedes-invalidation -- Jun Zhao, PhD EPSRC Postdoctoral Fellow Department of Zoology University of Oxford Tinbergen Building, South Parks Road Oxford, OX1 3PS, UK
Received on Sunday, 25 November 2012 09:43:36 UTC