- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Thu, 15 Feb 2007 09:57:37 +0000
- To: Ian MacLarty <iml@missioncriticalit.com>
- CC: www-rdf-rules@w3.org
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
Received on Thursday, 15 February 2007 09:58:01 UTC