Re: CURIE proposal ...

Axel Polleres wrote:
> 
> Jos de Bruijn wrote:
>> I think we should have a shortcut mechanism for IRIs in the 
>> presentation syntax, since they are the most common kind of identifier 
>> used in the language.
>> I also think that we only need to have *one* mechanism for that.
>> We do not need to define a completely new parsable presentation 
>> syntax.  I also do not think we need to have a general shortcut 
>> mechanism in the presentation syntax.  For one thing, we don't have 
>> much time.
>>
>> Therefore, I would suggest to adopt the following suggestions by Axel:
>>
>>> 1) We use UNQUOTED prefix:ncname to denote CURIEs which expand to 
>>> QUOTED IRIs
>>  > 4) For symbol space IRIs (i.e. IRIs after the ^^) we only allow eithr
>>  > the unquoted prefix:ncname writing or the angle bracketted name.
> 
> that is basically the current status. And I was only suggesting some 
> slight syntactic sugar to make things more readable.
> a) a prefix definition mechanism (adopted 1:1 from SPARQL, i.e. nothing 
> new)

yes, we definitely need something like that, but why adopt the one from 
SPARQL and not the one from Turtle?.

> b) (unquoted) curies are also allowed for the first part

I would disallow this, because confusion might arise as to the 
difference between "a:b"^^bla and a:b^^bla.

> c) a stand-alone CURIE a:b is a shortcut for "the expanded IRI for a:b"^^rif:iri

Yes.

> d) angle brackets ( <iri> )serve as shortcut for "iri"^^rif:iri or if 

This seems to me as defining too many shortcuts.  I think we should have 
just one shortcut mechanism for IRIs, namely CURIEs, not another one.

> you want to write a full iri as symspace 
> ("iri"^^<http://www.w3.org/2007/rif#iri>)

This does make sense to me.

> 
>> i.e.,
>> mailto:chris = "http://....#chris"^^rif:iri = 
>> "http://....#chris"^^http://.....#iri
>>
>> CURIES should *not* be allowed as the first part of a constant name, 
>> i.e., my:curie^^rif:iri should not be allowed.
> 
> why? if unquoted, I don't see any problem with allowing curies there, 
> although I can live without b) if you buy in c)

See above.

Best, Jos

> 
> Axel
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
Only two things are infinite, the universe and
human stupidity, and I'm not sure about the
former.
   -- Albert Einstein