Re: Consts/CURIEs in PS (was Re: DTB status (on today's agenda) )

Sandro Hawke wrote:
> Okay, I think I see a consensus here (more or less proposed by Jos and
> Michael at different times):
> (1) "foo"^^<bar>
> This is the normal, full syntax for constants.  For example:
>     ""^^<>
> (2)  foo:bar    
> is shorthand for
>     "expand(foo)bar"^^<>
> except on the right-hand-side of a ^^.
> (3) "foo"^^bar:baz
> is shorthand for
>     "foo"^^<expand(bar)baz>
> This means that the CURIE syntax (a:b) is context sensitive; it's read
> differently on the right-hand-side of ^^.
> (4) <foo>
> This is not allowed.  The pointy-brackets are only allowed as part of
> the ^^ construct. Maybe someday we can figure out a way to allow it, but
> right now it has problems.

This is allowed in N3, etc. and the grammar is very simple. so, if we 
allow context-sensitivity, we can savely allow it to expand to


There is not real reason to allow context-sensitivity in one case and 
forbid it in another. For the sake of compatibility, I opt for allowing 
it. As for the question why we need this ("I do not see why we need such 
a macro in the first place, if in most case we will be using foo:bar."), 
there are IRIs which cannot be written as foo:bar, assuming that bar 
needs to be an ncname:
e.g. <>
cannot be split into a prefix and an ncname.

> (5) "foo"^^bar
> is allowed for aliasing (I don't quite follow this), but doesn't
> interact with the above.

I don't see for what we need this, but this should be only allowed if 
bar is non-ambiguous, i.e. may not contain be confused with a CURIE.

> ================================================================
> If I'm understanding everyone correctly, we can all live with that.
> Yes?

Please provide a grammar which clarifies (5). As for (4), as mentioned 
before, I object against incompatibility with N3.


>      -- Sandro

Dr. Axel Polleres, Digital Enterprise Research Institute (DERI)
email:  url:

rdfs:Resource owl:differentFrom xsd:anyURI .

Received on Friday, 2 May 2008 20:36:10 UTC