Re: PROV-ISSUE-62 (about-prov-language): about provenance language [Conceptual Model]

Hi Graham,

(second attempt... sorry)

On 8/4/11 8:13 AM, Graham Klyne wrote:
> My comment was made somewhat on the fly as I was reading the document.  I
> probably over-reacted in suggesting the use of identifiers was "inappropriate".
>
> But as I was reading this, I felt that I was being asked to make a shift of
> mental perspective when the text started to talk about "identifier scope".  For
> the purposes of data modelling, I would say that where identifiers are
> mentioned, their context of appearance is part of their identity as identifiers
> (if that makes sense).  Scoping is a *linguistic* technique used to disambiguate
> different appearances of the same character string used as as a different
> identifier in different contexts.
that's a good lecture on scope in programming languages, thanks :-) but the way the term is intended here has to do with the context 
within which a reference can be resolved, perhaps you would call it "validity" or something else. The point is that identifiers are 
meant to be local to a group of (related) assertions, and there is no expectation that they can be resolved outside that context.

-Paolo

Received on Thursday, 4 August 2011 12:29:29 UTC