W3C home > Mailing lists > Public > www-rdf-rules@w3.org > February 2007

Re: AtomList infinite or cyclic in all models

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Thu, 15 Feb 2007 09:57:37 +0000
Message-ID: <45D42E91.1050108@hplb.hpl.hp.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:20 UTC