Re: type/token and corresponding annotations

Hi Thomas,

Just regarding you last example regarding Andy's most recent
proposal...

On Tue, 2023-12-19 at 00:40 +0100, Thomas Lörtsch wrote:
> Hi Souri,
> 
> [...]
> 
> Andy this evenening posted a modified proposal in which the type
> would be encoded as <<( :s :p :o )>>. That would concern the first
> example from your earlier mail:
> 
> <<( :s :p :o )>> :accordingTo :john . # type, annotations
> 
> Without those extra parentheses it would be expanded to 
> 
> [] :occurrenceOf << :s :p :o >> ;
>    :accordingTo :john .

No, that's not correct in terms of Andy's recent proposal. According to
this proposal, the expression

 <<( :s :p :o )>>

represents a triple term (triple type), whereas the expression

 << :s :p :o >>

represents an occurrence with an unspecified name (which may be
captured using a fresh blank node). Hence, the correct way to write
your example by using this new interpretation of these expressions
would be as follows.

The expression

 << :s :p :o >> :accordingTo :john .

expands to

 [] :occurrenceOf <<( :s :p :o )>> ;
    :accordingTo :john .

Best,
Olaf


> (any encoding missing an explicit reference to the type or an
> expressly named occurrence would be interpreted as an anonymously
> named occurrence).
> 
> 
> Best,
> Thomas
> 
> 
> 
> > On 18. Dec 2023, at 23:58, Souripriya Das
> > <souripriya.das@oracle.com> wrote:
> > 
> > Another example. I just want to understand if the following,
> > involving annotations for both triples and occurrences, is a valid
> > graph in RDF-star:
> > 
> > << :Cleveland :servedAs :POTUS >> :inCentury "19th" .
> > << :TheodoreRoosevelt :servedAs :POTUS >> :laterThan << :Cleveland
> > :servedAs :POTUS >> .
> > 
> > :ClevelandTerm1 :occurrenceOf << :Cleveland :servedAs :POTUS >>  ;
> >         :startYear 1885 ; 
> >         :endYear 1889 .
> > 
> > :ClevelandTerm2 :occurrenceOf << :Cleveland :servedAs :POTUS >>  ;
> >         :startYear 1893 ; 
> >         :endYear 1897 .
> > 
> > << :Harrison :servedAs :POTUS >> 
> >         :after :ClevelandTerm1 ;
> >         :before :ClevelandTerm2 .
> > 
> > Thanks,
> > Souri.From: Souripriya Das
> > Sent: Monday, December 18, 2023 2:34 PM
> > To: RDF-star WG <public-rdf-star-wg@w3.org>
> > Subject: type/token and corresponding annotations  I am trying to
> > understand the requirements involving "type", "token", and related
> > sets of annotations.
> > 
> > Can an RDF graph contain the following (using RDF-star CG Report
> > syntax) triples? (It shows annotations for the "type" :s :p :o, 
> > and also for the two corresponding tokens identified using _:a and
> > _:b.)
> > 
> > << :s :p :o >> :accordingTo :john . # type, annotations
> > 
> > _:a :occurrenceOf << :s :p :o >> ;  # token 1, annotations
> >     :in <file1.ttl> ;
> >     dct:creator :alice.
> > 
> > _:b :occurrenceOf << :s :p :o >> ; # token 2, annotations
> >     :in <file2.ttl> ;
> >     dct:creator :bob.
> > 
> > Thanks,
> > Souri.
> 
> 
>

Received on Tuesday, 19 December 2023 08:27:08 UTC