AtomList infinite or cyclic in all models

• From: Ian MacLarty <iml@missioncriticalit.com>
• Date: Thu, 15 Feb 2007 13:09:28 +1100
• To: www-rdf-rules@w3.org
• Message-ID: <20070215020928.GH3088@cleopatra>

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?

It seems to me that AtomList would be better modelled as being either a
NonEmptyAtomList or rdf:nil, where NonEmptyAtomList has the cardinality
1 restrictions on rdf:first and rdf:rest.

Ian MacLarty.

Received on Thursday, 15 February 2007 07:56:41 UTC