Re: A different symbol for {|

On Thu, Jan 7, 2021 at 6:00 PM Andy Seaborne <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>> 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>  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!). 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>>
> >      > To: "Richard Cyganiak" <richard@cyganiak.de
> >     <mailto:richard@cyganiak.de>>
> >      > Cc: public-rdf-star@w3.org <mailto:public-rdf-star@w3.org>, "Miel
> >     Vander Sande" <miel.vandersande@meemoo.be
> >     <mailto:miel.vandersande@meemoo.be>>, "Andy Seaborne"
> >     <andy@apache.org <mailto:andy@apache.org>>, "Ghislain ATEMEZING"
> >     <ghislain.atemezing@gmail.com <mailto:ghislain.atemezing@gmail.com>>
> >      > Subject: Re: A different symbol for {|
> >      >
> >      > +1
> >
>
>