Re: AtomList infinite or cyclic in all models

Ian MacLarty wrote:
> Hello,
> 
> In the owl file http://www.daml.org/rules/proposal/swrl.owl, the
> AtomList class is a subclass of rdf:List and places cardinality
> restrictions of 1 on rdf:first and rdf:rest.  Furthermore rdf:rest for
> AtomList is constrained to the range AtomList.
> 
> This seems to imply that in all models, AtomList will be either infinite
> or cyclic.
> 
> Could someone comment on this definition of AtomList?

This is a list for the RIF rules working group and not a support list 
for SWRL.

However, you'll see that that file also includes the statement:

    <swrl:AtomList rdf:about="&rdf;#nil"/>

So the cardinality restriction on rdf:rest on AtomLists can be satisfied 
by a nil so there is no problem with finite lists.

Dave