Re: RDF 1.1 Turtle - W3C Recommendation 25 February 2014 --- Missing triple in example 26 ?

Dear Juergen,

Thanks very much for your message. Yes, it appears indeed that the last 
triple in example 26 is missing. I've added this issue to the errata 
page [1].

Regards,
Guus Schreiber
RDF WG co-chair

[1] https://www.w3.org/2001/sw/wiki/RDF1.1_Errata#erratum_4

On 28-05-14 19:19, Juergen Pfundt wrote:
>
> Hello RDF Working Group,
> maybe my understanding of RDF Collections needs improvement, but could
> it be that example 26 misses a triple ?
> *_:b0    :p2             :q2 .*
> Kind regards
> Jürgen Pfundt
> P.S. Deduction of example 26 from example 25:
> *Example 25
> *
> PREFIX : <_http://example.org/stuff/1.0/_>
> (1 [:p :q] ( 2 ) ) :p2 :q2 .
> Unraveling the Turtle expression yields in the first step:
> PREFIX : <_http://example.org/stuff/1.0/_>
> [ rdf:first 1 ;
>    rdf:rest [ rdf:first [:p :q] ;
>               rdf:rest [ rdf:first (2) ;
>                          rdf:rest rdf:nil ]]] :p2 :q2 .
> The next step resolves blankNodePropertyList for predicates rdf:first
> and rdf:rest:
> PREFIX : <_http://example.org/stuff/1.0/_>
> _:a0    rdf:first       1 ;
>          rdf:rest        _:a1 ..
> _:a1    rdf:first       [:p :q] ;
>          rdf:rest        _:a2 ..
> _:a2    rdf:first       (2) ;
>          rdf:rest        rdf:nil ..
> *_:a0    :p2             :q2* .
> The objects [:p :q] and (2) are processed now:
> PREFIX : <_http://example.org/stuff/1.0/_>
> _:a0    rdf:first       1 ;
>          rdf:rest        _:a1 ..
> _:a1    rdf:first       _:a12 .
> _:a12   :p               :q .
> _:a1    rdf:rest        _:a2 ..
> _:a2    rdf:first       [ rdf:first 2 ;
>                           rdf:rest rdf:nil] .
> _:a2    rdf:rest        rdf:nil ..
> *_:a0    :p2             :q2 .*
> Renaming of blank nodes to make the result look alike *Example
> 26* (_http://www.w3.org/TR/2014/REC-turtle-20140225/#sec-examples_
> <http://www.w3.org/TR/2014/REC-turtle-20140225/>):
>
> PREFIX : <_http://example.org/stuff/1.0/_>
> _:b0    rdf:first       1 ;     # renamed _:a0 to _:b0
>          rdf:rest        _:b1 .  # renamed _:a1 to _:b1
> _:b1    rdf:first       _:b2 .  # renamed _:a12 to _:b2
> _:b2    :p               :q .
> _:b1    rdf:rest        _:b3 .  # renamed _:a2 to _:b3
> _:b3    rdf:first       _:b4 .  # new _:b4
> _:b4    rdf:first       2 ;
>          rdf:rest        rdf:nil ..
> _:b3    rdf:rest        rdf:nil ..
> *_:b0    :p2             :q2 .*

Received on Thursday, 29 May 2014 17:34:00 UTC