Re: Consolidating triple/edges from Andy Seaborne on 2023-12-21 (public-rdf-star-wg@w3.org from December 2023)

From: Andy Seaborne <andy@apache.org>
Date: Thu, 21 Dec 2023 13:07:17 +0000
To: Olaf Hartig <olaf.hartig@liu.se>, "gregg@greggkellogg.net" <gregg@greggkellogg.net>
Cc: "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
Message-ID: <860124ca-c5c1-417a-930e-309fab373324@apache.org>

On 21/12/2023 10:15, Andy Seaborne wrote:
> 
> 
> On 20/12/2023 09:26, Olaf Hartig wrote:
> 
> Good summary.
> 
> Comment about rdf:type inline.
> 
>> On Tue, 2023-12-19 at 16:39 -0800, Gregg Kellogg wrote:
>>>> On Dec 18, 2023, at 12:47 PM, Andy Seaborne <andy@apache.org>
>>>> wrote:

>>> And, to James’s point, can you say << :s :p :o >> a <<( :s1 :p1 :o1
>>> )>>; if so, would this be the same as rdfx:occurrenceOf?
>>
>> Well, by resolving the syntactic sugar as suggested in Andy's email,
>> this would expand to
>>
>>    _:b rdfx:occurrenceOf c .
>>    _:b rdf:type <<( :s1 :p1 :o1 )>> .
> 
> I'd only got as far as thinking that
> 
> * the range of rdfx:occurrenceOf is rdf:Occurrence .
> * the domain of rdfx:occurrenceOf is rdf:Triple .

Correction:
* the domain of rdfx:occurrenceOf is rdf:Occurrence .
* the range of rdfx:occurrenceOf is rdf:Triple .

Received on Thursday, 21 December 2023 13:07:26 UTC