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