Re: having a collection in rtObject

Hi Andy,

Thanks for having a look at it and for

<< :functor log:isFunctorOf (:argument1 :argument2 ) >>.

I (and eye) would see

_:bne_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies> <<( :functor
log:isFunctorOf _:bnl_1 )>>.
_:bnl_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :argument1.
_:bnl_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:bnl_2.
_:bnl_2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :argument2.
_:bnl_2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <
http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.

I also concur with Dörte in
https://github.com/w3c/rdf-star-wg/issues/132#issuecomment-2432678335

I really hope this will work out :-)

Jos

-- https://josd.github.io


On Wed, Oct 23, 2024 at 6:56 PM Andy Seaborne <andy@apache.org> wrote:

> Jos,
>
> What triples did you want to see from:
>
> << functor log:isFunctorOf (argument1 argument2 ) >>
>
> ?
>
> _:r rdf:reifies <<( functor log:isFunctorOf _:list0 )>>.
>
> _:list0 rdf:first argument1 .
> _:list0 rdf:rest _:b1 .
> _:b1 rdf:first  argument2 .
> _:b2 rdf:rest rdf:nil .
>
> or
>
> _:r rdf:reifies <<( functor log:isFunctorOf _:list0 )>>.
> _:r rdf:reifies << _:list0 rdf:first argument1  >> .
> _:r rdf:reifies << _:list0 rdf:rest _:b1 .  >> .
> _:r rdf:reifies << _:b1 rdf:first  argument2 . >> .
> _:r rdf:reifies << _:b2 rdf:rest _:b3 . >> .
>
> which is also
>
> << functor log:isFunctorOf _:b  ~ _:r >>
> << _:list0 rdf:first argument1  ~ _:r >> .
> << _:list0 rdf:rest _:b1        ~ _:r >> .
> << _:b1 rdf:first  argument2    ~ _:r >> .
> << _:b2 rdf:rest rdf:nil        ~ _:r >> .
>
> or an N3 with a graph term
> or something else ?
>
> There is also discussion in
>
> https://github.com/w3c/rdf-star-wg/issues/132
>
>      Andy
>
> On 23/10/2024 16:22, Andy Seaborne wrote:
> >
> >
> > On 22/10/2024 23:12, Jos De Roo (UGent-imec) wrote:
> >> We have some rdflogic cases supporting functional terms as
> >> reifiedtriples << functor log:isFunctorOf (arguments) >>
> >> which are at
> >> https://github.com/eyereasoner/eye/tree/master/reasoning/rdflogic
> >> and it would be really great if the
> >> https://www.w3.org/TR/rdf12-turtle/#grammar-production-rtObject
> >> could contain a
> >> https://www.w3.org/TR/rdf12-turtle/#grammar-production-collection
> >>
> >> Jos
> >>
> >> -- https://josd.github.io <https://josd.github.io/>
> >
> > Hi Jos,
> >
> > Unlike N3, collections are not first-class in RDF.
> >
> > << :s :p :o >>
> >
> > becomes a triple with triple term as object
> >
> > _:b rdf:refies <<( :s :p :o )>>
> >
> > But << :s :p (1 2 3) >> would be generating triples for the list and
> > putting them in the graph.
> >
> > The "triple term" would not be an RDF term.
> >
> > << :s :p (1 2 3) >> rdfx:source <URL> .
> >
> > only applies to the blanknode at the start of the RDF collection.
> >
> > In SPARQL, there are terms outside graphs.
> >
> >      Andy
> >
> >
> >
> >
>
>
>