Re: SHACL draft ready for review

On 8/02/2017 20:36, Olivier Corby wrote:
> Hi,
>
> Thank you for the answer.
>
>> > SHACL List
>> >
>> > and the list does not have itself as a value of the property path 
>> rdf:rest+ in G.
>> >
>> > -- and rdf:first ?
>>
>> I don't see why rdf:first would be relevant here (in the definition 
>> of non-recursive lists). rdf:first is just a member of the list. 
>> Could you clarify if I am missing something?
>
> [ sh:path  _:b ]
>
> _:b rdf:first _:b ;
> _:b rdf:rest rdf:nil .

Ah OK, you seem to be referring to the case of sequence paths. Isn't 
this case covered by the statement in section 2.3.1:

A node|p|is not awell-formed <#dfn-well-formed>SHACL property path 
if|p|is a blank node and any path mappings of|p|directly or transitively 
reference|p|.

Thanks,
Holger