Re: comments on PROV-DM

Dear Reza,

Thanks for your comment. We have raised this as an issue (ISSUE-556)
to discuss in the working group.

To not send you unwanted discussion email, we will discuss this on the
working groups mailing list and get back to you either with a
resolution or to ask for further clarification. You can follow the
whole discussion at

https://www.w3.org/2011/prov/track/issues/556

Thank you for your comments and your interest in PROV
Paul

On Mon, Sep 17, 2012 at 5:43 PM, Reza Samavi <reza.samavi@utoronto.ca> wrote:
> Dear Provenance Working Group,
>
> I think at least 2 constraints are missing in the following document:
>
> http://www.w3.org/TR/prov-constraints/#constraints
>
> One can express an activity (a) start-time using:
>
> a prov:startedAtTime t1;
>
> The same activity (a) start-time can be expressed by:
>
> a prov:qualifiedStart [ a prov:Start prov:atTime t2].
>
> I think these two sentences are equal in PROV-DM. If my interpretation is
> correct, then there should be a constraint saying for the same a,  t1=t2.
> Then a similar constraint is required for activity end-time.
>
> I'm not sure if the objective of constraint 29 and 30 was to cover the above
> mentioned constraints.
>
> Thanks,
> Reza
> --
>
> --
>
> Reza Samavi,
>
> PhD Candidate,
>
> University of Toronto
>
> Department of Mechanical & Industrial Engineering
>
> 8140 – Bahen Center for Information Technology
>
> 40 St. George St., Toronto, Ontario, M5S 2E4, CANADA
>
> Tel. (416) 946-0110


-- 
--
Dr. Paul Groth (p.t.groth@vu.nl)
http://www.few.vu.nl/~pgroth/
Assistant Professor
- Knowledge Representation & Reasoning Group |
  Artificial Intelligence Section | Department of Computer Science
- The Network Institute
VU University Amsterdam

Received on Monday, 17 September 2012 17:58:29 UTC