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

HI,

Yes, I think that should be fine.  Adding relations to the structures to reflect start and end information is still on the TODO list, and there may be other implications of fixing this.  There are lots of other things that need to be ironed out, and this will happen as I go through and see what is needed to "prove" the various inferences/constraints hold.

--James

On Feb 28, 2013, at 11:03 AM, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:

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