Re: PROV-SEM staged, ready for review

('binary' encoding is not supported, stored as-is)
On Apr 11, 2013, at 12:41 PM, Khalid Belhajjame <Khalid.Belhajjame@cs.man.ac.uk> wrote:

> Hi James,
> 
> 
> On 11 April 2013 12:35, James Cheney <jcheney@inf.ed.ac.uk> wrote:
> Hi,
> 
> I've fixed most things.
> 
> I have a couple of questions/clarifications about the reviews.  Perhaps we can discuss briefly today during the call.
> 
> 
> - Satya and Khalid ask
> 
> > C1. In Section 1.1., it will be helpful to provide a reference to Naive Semantics.
>  >
> 
> 
>  > Minor issues:
>  > Section 1.1
>  > As Khalid pointed out, need to clarify or cite "Naive Semantics".
> 
> I'm not sure what is being asked for - "naive" doesn't have a technical meaning here.  I added references from other occurrences of "naive semantics" to the first example.
> 
> In that case, I think it will be sufficient to state that, as one may think there is a class of semantics called naive.

OK, what I have done instead is just removed the word "naive".  It was mostly there to flag the fact that (in earlier versions) the semantics lacked a completeness property.  This is no longer the case, so the warning no longer seems needed.

--James
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Thursday, 11 April 2013 14:45:46 UTC