Re: PROV-ISSUE-630 (prov-sem-fpwd-review): PROV-SEM review for FPWD [Formal Semantics]

Hi James,

In my review, I noticed that  wasStartedBy(id,a2,e,a1,attrs) and 
wasEndedBy(id,a2,e,a1,attrs) do not
have a time parameter in section 2.4.

It's an easy fix, but it has implications elsewhere in the 
interpretation of these formulas.
I suppose that in rule_19 and rule_20, you need to state time(evt)=t?
Is this correct? Would there be changes elsewhere?

Cheers,
Luc


On 25/02/13 13:52, James Cheney wrote:
> Just to say that I forgot to put a link to the document below.  It is at:
>
> https://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html
>
> However, I've noticed there are problems with the math formula 
> rendering.  This seems to be because MathJax is only available using 
> http:// urls while we need to use https:// for JavaScript.  A 
> long-term fix may be to host the MathJax scripts somewhere locally on 
> w3.org <http://w3.org> so that we can reference them with a https:// url.
>
> The workaround for now is for me to save it locally after all of the 
> mathematical formulas have been replaced (which is how we will build 
> the final version too just like with all respec-based documents).  So 
> please review this version:
>
> https://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem-review-20130226.html
>
> --James
>
>
>
> On Feb 25, 2013, at 12:50 PM, Provenance Working Group Issue Tracker 
> <sysbot+tracker@w3.org <mailto:sysbot+tracker@w3.org>> wrote:
>
>> PROV-ISSUE-630 (prov-sem-fpwd-review): PROV-SEM review for FPWD 
>> [Formal Semantics]
>>
>> http://www.w3.org/2011/prov/track/issues/630
>>
>> Raised by: James Cheney
>> On product: Formal Semantics
>>
>> Hi,
>>
>> I have completed a cleanup pass on the semantics.  There are 
>> definitely still (mostly clearly-marked) areas where work is needed.
>>
>> Satya, Simon, Paolo, and Khalid had indicated willingness to review 
>> by Thursday, so that we can vote on release with other documents as 
>> part of the PR release cycle.
>>
>> Please respond to this issue with comments so that they are tracked.
>>
>> Review questions:
>>
>> 1.  Is the purpose of the document clear and consistent with the 
>> working group's consensus about the semantics?  If not, can you 
>> suggest clarifications or improvements?
>>
>> 2.  Are there minor issues that can be corrected easily prior to FPWD 
>> release?
>>
>> 3.  Are there blocking issues that must be addressed prior to release 
>> as a first public working draft?
>>
>> 4.  Are there non-blocking, but important issues that should be 
>> discussed and resolved for future editions? (no need to list TODOs 
>> already reflected in the document itself, unless there is 
>> disagreement about how to resolve them).
>>
>> --James
>>
>>
>>
>>
>
>
>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.

-- 
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