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

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

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