@prefix rdf: . @prefix s: . @prefix stu: . @prefix crs: . @prefix pkg: . ## un Bag crs:6.001 s:students [ a rdf:Bag; rdf:_1 stu:Amy; rdf:_2 stu:Mohamed; rdf:_3 stu:Johann; rdf:_4 stu:Maria; rdf:_5 stu:Phuong; ]. ## un Alt pkg:X11 s:DistributionSite [ a rdf:Alt; rdf:_1 ; rdf:_2 ; rdf:_3 ; ]. ## un Seq pkg:X11 s:DistributionSite [ a rdf:Seq; rdf:_1 ; rdf:_2 ; rdf:_3 ; ]. ## List crs:6.001 s:students ( stu:AmyL1 stu:MohamedL1 stu:JohannL1 ). # équivalent à crs:6.002 s:students _:v0. _:v0 rdf:first stu:AmiL2; rdf:rest _:v1. _:v1 rdf:first stu:MohamedL2; rdf:rest _:v2. _:v2 rdf:first stu:JohannL2; rdf:rest _:nil.