RE: Enumeration in RDF?

As far as I know OWL has something that helps: owl:cardinality (see http://www.w3.org/TR/2003/CR-owl-ref-20030818/#cardinality-def).
"A restriction containing an owl:cardinality constraint describes a class of all individuals that have exactly N semantically distinct values (individuals or data values) for the property concerned, where N is the value of the cardinality constraint"

This allows you to express cardinality constraints on properties. The OWL Web Ontology Language Reference (see above link) gives an example:

<owl:Restriction>
  <owl:onProperty rdf:resource="#hasParent" />
  <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:cardinality>
</owl:Restriction>

which is a class of individuals that have exactly 2 parents.

So I guess you can express what you want in OWL, but you need to put a constraints on a property (in the above example "#hasParent").

---
Marco Sbodio
while(++$_){print$_,$/if("x"x$_)!~/^(xx+)\1+$/}

> -----Original Message-----
> From: Dan Brickley [mailto:danbri@w3.org]
> Sent: Monday, September 15, 2003 6:04 PM
> To: Art.Barstow@nokia.com
> Cc: www-rdf-interest@w3.org
> Subject: Re: Enumeration in RDF?
> 
> 
> 
> * Art.Barstow@nokia.com <Art.Barstow@nokia.com> [2003-09-15 
> 11:49-0400]
> > 
> > Do the latest RDF specs define a way to do enumeration
> > (e.g. a Bag may contain only 4 strings)?  If so, please
> > send me the pointer.
> 
> http://www.w3.org/TR/rdf-schema/#ch_collectionvocab
> The rdf:List collections mechanism allows the members of a list to be 
> enumeated in a way that makes it clear the whole list has been
> represented. RDF doesn't let you say 'a FooList has only n 
> members'. It
> might be that OWL is applicable to that task; I haven't looked. Now
> would be a great time to send review comments on OWL btw, as 
> they're in
> Candidate Rec phase...
> 
> cheers,
> 
> Dan
> 
>