W3C home > Mailing lists > Public > public-rdf-comments@w3.org > May 2014

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

From: Juergen Pfundt <juergen.pfundt@googlemail.com>
Date: Wed, 28 May 2014 20:19:27 +0200
Message-Id: <E44E54BC-7BAE-4097-B228-8569DF1DE137@gmail.com>
To: public-rdf-comments@w3.org

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):

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 Wednesday, 28 May 2014 18:20:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:29:59 UTC