Re: Annotation syntax [was: SPARQL* test suite]

On onsdag 2 september 2020 kl. 11:44:10 CEST Storm, Jonathon wrote:
> Thank you, Olaf, for the reference about what SA and PG modes are! I have
> been wondering for weeks.

Yeah, I was assuming that this might have been confusing for some people who 
are new here ;-)
 
> In there you ask a question that I can answer. "What do you think about
> introducing both modes in a specification of the RDF*/SPARQL* approach?" I
> like this idea very much. However, I am minimally experienced in RDF*/etc.,
> so maybe I don't know enough to answer.

I believe that, with the notion of annotated RDF* graphs that I have outlined 
in my previous email, I have found a way to reconcile both modes within a 
single abstract data model. An additional asset of this notion is that it also 
provides a basis to be explicit about what it means to support only SA mode or 
only PG mode (which I assume some system vendors may want to make such a 
restriction for their system). 

Best,
Olaf

 
> Best,
> Jonathon Storm
> Pronouns: traditional (he, him, his)
> Lead Data Architect, Core Data Architecture, S&P Global Market Intelligence
> 
> S&P Global
> C: 757-284-7786
> jonathon.storm@spglobal.com
> www.spglobal.com
> 
> -----Original Message-----
> From: Olaf Hartig <olaf.hartig@liu.se>
> Sent: Wednesday, September 2, 2020 4:26 AM
> To: public-rdf-star@w3.org
> Subject: Re: Annotation syntax [was: SPARQL* test suite]
> 
> EXTERNAL MESSAGE
> 
> 
> 
> Hi,
> 
> On onsdag 2 september 2020 kl. 17:44:06 CEST Holger Knublauch wrote:
> 
> > On 2/09/2020 15:41, Patrick J Hayes wrote:
> > 
> > > Jeen and Holger, greetings.
> > >
> > >
> > >
> > > It seems to me that there is a more basic issue here. However it is
> > > written, if this maps to an RDF graph containing the triple
> > >
> > >
> > >
> > > :bob :age 23 .
> > >
> > >
> > >
> > > then that triple is /asserted to be true/, and that assertion of
> > > truth is independent of any other triples, be they called
> > > ‘annotations’ or not. Adding a triple to an RDF graph cannot change
> > > or modify the asserted truth of any other triple in the graph, even
> > > if it refers to it. This follows from the monotonicisty of the
> > > underlying semantics.
>
> >
> >
> > [...]
> > It seems that the topic you raise applies to RDF* in general, not just
> > this particular syntax extension here in this thread.
> 
> 
> Right, but only if we make the PG mode assumption for RDF* graphs. In SA
> mode we don't have this issue.
 
> Olaf
> 
> PS. For everyone who has joined the list recently and wonders what SA mode
> and PG mode are, the following earlier email should give you an answer:
> https://lists.w3.org/Archives/Public/public-rdf-star/2019Sep/0051.html 
> 
> 
> 
> > Holger
> >
> >
> >
> > > One could of course provide an alternative semantics which would allow
> > > this, but the underlying language would then no longer be RDF.
> > >
> > >
> > >
> > > This of course does not apply to annotations which  record provenance
> > > of triples or describe their status in some way. But an annotation
> > > which changes the truthvalue of a triple is not merely meta-knowledge
> > > or documentation, but rather moves it into a different logic.
> > >
> > >
> > >
> > > Pat Hayes
> > >
> > >
> > >
> > >> On Sep 1, 2020, at 8:07 PM, Jeen Broekstra <jb@metaphacts.com
> > >>
> > >>
> > >>
> > >> <mailto:jb@metaphacts.com>> wrote:
> > >> 
> > >>     Yes, I think so and apologies if I didn't communicate this
> > >>     clearly.
> > >>
> > >>
> > >>
> > >>     The point here is to *add* an alternative short cut so that
> > >>     instead of
> > >>
> > >>
> > >>
> > >>
> > >>         :bob :age 23 .
> > >>         
> > >>         <<:bob :age 23>> :certainty 0.9 .
> > >>
> > >>
> > >>
> > >>     we can simply (alternatively) write
> > >>
> > >>
> > >>
> > >>        :bob :age 23 {| :certainty 0.9 |} .
> > >>
> > >>
> > >>
> > >>     This would serve as syntactic sugar for the (common) use case of
> > >>     both asserting and annotating a triple, while still allowing
> > >>     free-standing annotations. The short cut will not only make files
> > >>     significantly shorter, but also make editing more user-friendly.
> > >>     The cost is for implementers though, who would have to cover an
> > >>     additional case (both in parser and serializer).
> > >>
> > >>
> > >>
> > >> Thanks for clarifying  - in that case I think it's actually a very
> > >> good idea. The main issue I see with supporting it is in the
> > >> serialization side, which will be tricky to do for any streaming
> > >> writer. However, we could support that kind of thing under the
> > >> moniker of "pretty printing", which is already something that
> > >> requires buffering anyway.
> > >>
> > >>
> > >>
> > >> Jeen
> > >>
> > >>
> > >>
> > >> jb@metaphacts.com <mailto:jb@metaphacts.com>
> > >> www.metaphacts.com <https://www.metaphacts.com/>
> > >>
> > >>
> > >>
> > >> htps://www.metaphacts.com/ <https://www.metaphacts.com/>
> 
> 
> 
> 
> 
> ________________________________
> 
> The information contained in this message is intended only for the
> recipient, and may be a confidential attorney-client communication or may
> otherwise be privileged and confidential and protected from disclosure. If
> the reader of this message is not the intended recipient, or an employee or
> agent responsible for delivering this message to the intended recipient,
> please be aware that any dissemination or copying of this communication is
> strictly prohibited. If you have received this communication in error,
> please immediately notify us by replying to the message and deleting it
> from your computer. S&P Global Inc. reserves the right, subject to
> applicable local law, to monitor, review and process the content of any
> electronic message or information sent to or from S&P Global Inc. e-mail
> addresses without informing the sender or recipient of the message. By
> sending electronic message or information to S&P Global Inc. e-mail
> addresses you, as the sender, are consenting to S&P Global Inc. processing
> any of your personal data therein.

Received on Wednesday, 2 September 2020 12:47:48 UTC