Re: A different symbol for {|

On 07/01/2021 22:06, Pavel Klinov wrote:
> 
> 
> On Thu, Jan 7, 2021 at 6:00 PM Andy Seaborne <andy@apache.org 
> <mailto:andy@apache.org>> wrote:
> 
> 
> 
>     On 07/01/2021 09:17, Pavel Klinov wrote:
>      >
>      >
>      > On Thu, Jan 7, 2021 at 8:40 AM Laura Morales <lauretas@mail.com
>     <mailto:lauretas@mail.com>
>      > <mailto:lauretas@mail.com <mailto:lauretas@mail.com>>> wrote:
>      >
>      >     What about this instead?
>      >
>      >          :a :knows {:since 1900; :source "..."} :b .
>      >
>      >
>      > ^^ This is exactly what we did last year when we were thinking about
>      > syntaxes: https://www.stardog.com/docs/#_syntax_es
>     <https://www.stardog.com/docs/#_syntax_es>
>      > <https://www.stardog.com/docs/#_syntax_es
>     <https://www.stardog.com/docs/#_syntax_es>>  It works pretty great with
>      > all the Turtle shortcuts (iirc that was partly the motivation).
> 
>     Pavel - out of curiosity : what is generated for cases where there is a
>     list of objects?
> 
>     :a :knows {:since 1900; :source "..."} :b , :c .
> 
> 
> Ah right, this wouldn't be allowed (so I was wrong re: "all" Turtle 
> shortcuts - sorry!). 

Thanks for the clarification - that was my guess but there could also be 
a different things going on.

> Similarly, in SPARQL*, we don't allow constructs like
> 
> ?s :p/:q { :r ?o } ?t
> 
> The idea was simply that
> 
> :a :knows {:since 1900 } :b ;
>      :likes :c .
> 
> is better than
> 
> << :a :knows :b >> :since 1900 .
> :a :likes :c
> 
> because one doesn't need to repeat :a.
> It wasn't really about the exact position of the { .. } block, though 
> placing it after the predicate in SPARQL* looks a bit Cypher'esque.
> 
> Cheers,
> Pavel
> 
> 
>     [[
>     I don't have any strong opinion on the syntax and many work technically
>     so, to me, it is about utility and community e.g. N3
>     ]]
> 
>      >
>      > Note that it has implications for TriG since :g { :a :knows {:since
>      > 1900; :source "..."} :b } makes it obvious that both :a :knows :b
>     and
>      > the annotations are asserted in :g. This was a plus for us since
>     Stardog
>      > asserts embedded statements in the same NG but someone can regard
>     it as
>      > a lack of flexibility (which is true about PG in general, not
>     really a
>      > syntax issue).
>      >
>      > Not really suggesting for standardisation, just mentioning since
>     it came up.
> 
>     Thanks for being clear.
> 
>     Also : in N3
> 
>     :a :predicate { ... triples ... } .
> 
>           Andy
>      >
>      > Cheers,
>      > Pavel
>      >
>      >
>      >     or
>      >
>      >          :a :knows <<:since 1900; :source "...">> :b .
>      >
>      >
>      >
>      >
>      >      > Sent: Tuesday, January 05, 2021 at 3:01 PM
>      >      > From: "thomas lörtsch" <tl@rat.io <mailto:tl@rat.io>
>     <mailto:tl@rat.io <mailto:tl@rat.io>>>
>      >      > To: "Richard Cyganiak" <richard@cyganiak.de
>     <mailto:richard@cyganiak.de>
>      >     <mailto:richard@cyganiak.de <mailto:richard@cyganiak.de>>>
>      >      > Cc: public-rdf-star@w3.org <mailto:public-rdf-star@w3.org>
>     <mailto:public-rdf-star@w3.org <mailto:public-rdf-star@w3.org>>, "Miel
>      >     Vander Sande" <miel.vandersande@meemoo.be
>     <mailto:miel.vandersande@meemoo.be>
>      >     <mailto:miel.vandersande@meemoo.be
>     <mailto:miel.vandersande@meemoo.be>>>, "Andy Seaborne"
>      >     <andy@apache.org <mailto:andy@apache.org>
>     <mailto:andy@apache.org <mailto:andy@apache.org>>>, "Ghislain ATEMEZING"
>      >     <ghislain.atemezing@gmail.com
>     <mailto:ghislain.atemezing@gmail.com>
>     <mailto:ghislain.atemezing@gmail.com
>     <mailto:ghislain.atemezing@gmail.com>>>
>      >      > Subject: Re: A different symbol for {|
>      >      >
>      >      > +1
>      >
>

Received on Friday, 8 January 2021 10:12:40 UTC