- From: Satya Sahoo <satya.sahoo@case.edu>
- Date: Tue, 6 Nov 2012 12:26:39 -0500
- To: Stephan Zednik <zednis@rpi.edu>
- Cc: Luc Moreau <l.moreau@ecs.soton.ac.uk>, Provenance Working Group WG <public-prov-wg@w3.org>
- Message-ID: <CAOMwk6xg_VN-Lfn0_W_eWkvRNmfttALszzDwFt-iMRBfdBJk4w@mail.gmail.com>
+1
Satya
On Mon, Nov 5, 2012 at 11:54 AM, Stephan Zednik <zednis@rpi.edu> wrote:
> +1
>
> Stephan
>
> On Nov 5, 2012, at 7:47 AM, Luc Moreau <l.moreau@ecs.soton.ac.uk> wrote:
>
> +1 from me too.
>
> Luc
>
> On 11/05/2012 02:30 PM, Paul Groth wrote:
>
> +1 good response, Tim
>
> Paul
>
> On Nov 5, 2012, at 5:55, Timothy Lebo <lebot@rpi.edu> wrote:
>
> prov-wg,
>
> Your approval is needed for the draft response to issue 552.
>
> The response is at
> http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments#ISSUE-552_.28Influence_subclasses.29
>
> and is copied below.
>
> Please raise objections before tomorrow 5pm UK time, so that we can
> close this out before the F2F.
>
> Regards,
> Tim
>
> ISSUE-552 (Influence subclasses)
>
> - Original email:
> http://lists.w3.org/Archives/Public/public-prov-comments/2012Sep/0000.html
> - Tracker: https://www.w3.org/2011/prov/track/issues/552
> - Group Response:
> - On "subclassing Influence":
> - The WG agrees with the suggestion that the phrase "a
> particular case of derivation" should be expressed using rdfs:subClassOf.
> - Since the prov-dm's definitions for revision, quotation, and
> primary source mention that they are "particular case[s] of derivation",
> then it follows that each should be subclasses in the PROV-O encoding. We
> changed PROV-O to include these three classes as a subclass of Derivation.
> - The WG aggress with the reviewer that "a kind of" is a more
> natural phrasing than "a particular case", and so we have adopted it as
> suggested.
> - On the phrasing of definitions:
> - It was pointed out that the definitions for
> "{Entity,Agent,Activity}Influence" are inconsistent with that of their
> parent class "Influence".
> - The source of this inconsistency is that
> {Entity,Agent,Activity}Influence are not defined by prov-dm, but by prov-o
> as artifacts of encoding prov-dm's model into the paradigm of OWL (i.e.,
> the use of the qualification pattern to describe binary relations).
> - The inconsistent definitions were "demoted" to rdfs:comments
> because they focus too heavily on the RDF and OWL paradigm and not enough
> on how they are expressing the abstract model of prov-dm.
> - New definitions were created to align with their parent class,
> with a focus on how the classes are expressing the abstract model of
> prov-dm.
> - On the inconsistency of subclasses according to "general
> understanding of the english terms":
> - The reviewer points out that the definitions of Influence,
> EntityInfluence, and Start illustrate an inconsistency: "influence is a
> capacity, an entity influence is a provider (of descriptions) and a start
> is a "when" (a time)".
> - The WG acknowledges that the definitions as shown support this
> concern.
> - The inconsistency between Influence and its immediate
> subclasses {Entity,Agent,Activity}Influence is addressed by the response to
> the earlier comment ("phrasing of definitions").
> - To address the inconsistency between {Influence,
> {Entity,Agent,Activity}Influence} and {Start,End}, PROV-DM updated the
> definitions for Start and End:
> - *Start is when an activity is deemed to have been started
> by an an entity, known as trigger . The activity did not exist before its
> start. Any usage, generation, or invalidation involving an activity follows
> the activity's start. A start may refer to a trigger entity that set off
> the activity, or to an activity, known as starter , that generated the
> trigger.* ref<http://dvcs.w3.org/hg/prov/raw-file/1e5d261d1c85/model/prov-dm.html#term-Start>
> - *End is when an activity is deemed to have been ended by an
> entity, known as trigger . The activity no longer exists after its end. Any
> usage, generation, or invalidation involving an activity precedes the
> activity's end. An end may refer to a trigger entity that terminated the
> activity, or to an activity, known as ender that generated the trigger.
> * ref<http://dvcs.w3.org/hg/prov/raw-file/1e5d261d1c85/model/prov-dm.html#concept-end>
> - References:
> - Changes to the document:
> - prov-dm updated the definitions<http://dvcs.w3.org/hg/prov/rev/363ce30cec66> for
> revision, quotation, and primary source to reinforce that each is a
> relation.
> - prov-o changed <http://dvcs.w3.org/hg/prov/rev/337e097e37e9> to
> add axioms:
> - prov:Revision rdfs:subClassOf prov:Derivation .
> - prov:PrimarySource rdfs:subClassOf prov:Derivation .
> - prov:Quotation rdfs:subClassOf prov:Derivation .
> - prov-o "demoted" the original definitions of
> {Entity,Agent,Activity}Influence to rdfs:comments.
> - prov-o created new definitions for
> {Entity,Agent,Activity}Influence to align with their parent class
> definition.
> - prov-o removed existing comments on
> {Entity,Agent,Activity}Influence that were very similar to the new "prov-dm
> centric" definitions. The removed comments had more of an OWL flavor to
> them instead of an abstract flavor. For example, the following comment was
> removed:
> - "ActivityInfluence is intended to be a general subclass of
> Influence of an Activity. It is a superclass for more specific kinds of
> Influences (e.g. Generation, Communication, and Invalidation)." in favor of
> the definition "ActivitiyInfluence is the capacity an activity to have an
> effect on the character, development, or behavior of another by means of
> generation, invalidation, communication, or other."
> - The latest draft <http://aquarius.tw.rpi.edu/prov-wg/prov-o> of
> the PROV-O html document reflects the definitions changed in the PROV-O OWL
> file:
> - http://aquarius.tw.rpi.edu/prov-wg/prov-o#EntityInfluence,
> - http://aquarius.tw.rpi.edu/prov-wg/prov-o#ActivityInfluence,
> - http://aquarius.tw.rpi.edu/prov-wg/prov-o#AgentInfluence
> - PROV-DM's new definition for Start<http://dvcs.w3.org/hg/prov/raw-file/1e5d261d1c85/model/prov-dm.html#term-Start> ->
> PROV-O's new definition for Start<http://aquarius.tw.rpi.edu/prov-wg/prov-o#Start>
> - PROV-DM's new definition for End<http://dvcs.w3.org/hg/prov/raw-file/1e5d261d1c85/model/prov-dm.html#concept-end> ->
> PROV-O's new definition for End<http://aquarius.tw.rpi.edu/prov-wg/prov-o#End>
>
>
>
>
>
> On Sep 13, 2012, at 7:27 AM, Provenance Working Group Issue Tracker <
> sysbot+tracker@w3.org> wrote:
>
> PROV-ISSUE-552 (subclass-prov-o): Check subclass definitions in prov-o
> [Ontology]
>
> http://www.w3.org/2011/prov/track/issues/552
>
> Raised by: Paul Groth
> On product: Ontology
>
> See email from Alan Ruttenberg
>
>
>
>
>
>
> --
> Professor Luc Moreau
> Electronics and Computer Science tel: +44 23 8059 4487
> University of Southampton fax: +44 23 8059 2865
> Southampton SO17 1BJ email: l.moreau@ecs.soton.ac.uk
> United Kingdom http://www.ecs.soton.ac.uk/~lavm
>
>
>
Received on Tuesday, 6 November 2012 17:27:08 UTC