Re: having a collection in rtObject

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

Received on Wednesday, 23 October 2024 15:22:43 UTC