Re: oa:List spec

I agree that the turtle is incorrect, but not what is incorrect :)

The typo is the use of []s rather than ()s which imply a collection and
rdf:nil

http://www.w3.org/TeamSubmission/turtle/#sec-collections

Thus the correction would be:

<list1> a oa:List, rdf:List ;
    oa:item <selector1>, <selector2> ;
    rdf:first <selector1> ;
    rdf:rest ( <selector2> ) .



This does bring up the question as to whether the list should be the
object, or should be referenced from the object.

In other words should the above instead be:

<list1> a oa:List ;
  oa:item <selector1>, <selector2> ;
  oa:hasList (selector1 selector2) .

Which might serialize more naturally, but would be a departure from the
other multiplicity objects.

Rob



On Thu, May 2, 2013 at 8:38 AM, Antoine Isaac <aisaac@few.vu.nl> wrote:

> Hi Rob,
>
> You are right, well spotted!
> The rdf:nil should indeed be present to indicate that the list is "closed".
>
> Best,
>
> Antoine
>
>
>
>  I \think/ the following is meaningful and right about
>> http://www.openannotation.org/**spec/core/20130208/**
>> multiplicity.html#List<http://www.openannotation.org/spec/core/20130208/multiplicity.html#List>
>>
>> 1. The turtle example doesn't specify that the list ends in rdf:nil
>> although the picture does.  I think you need something like
>>    rdf:rest [ rdf:first<selector2>  ;
>>                    rdf:rest rdf:nil ]
>> as the end of<list1>
>>
>> 2. Well, the spec doesn't actually require or even suggest an oa:List
>> should be terminated by rdf:nil,  but IMO it would be a good help for
>> consumers.  Maybe those looking at the rdf ordering problem already
>> have discussed this issue.
>>
>>
>> --
>> Robert A. Morris
>>
>> Emeritus Professor  of Computer Science
>> UMASS-Boston
>> 100 Morrissey Blvd
>> Boston, MA 02125-3390
>>
>> IT Staff
>> Filtered Push Project
>> Harvard University Herbaria
>> Harvard University
>>
>> email: morris.bob@gmail.com
>> web: http://efg.cs.umb.edu/
>> web: http://wiki.filteredpush.org
>> http://www.cs.umb.edu/~ram
>> ===
>> The content of this communication is made entirely on my
>> own behalf and in no way should be deemed to express
>> official positions of The University of Massachusetts at Boston or
>> Harvard University.
>>
>>
>
>