- From: Sbodio, Marco Luca <marco.sbodio@hp.com>
- Date: Tue, 16 Sep 2003 17:32:19 +0200
- To: "Dan Brickley" <danbri@w3.org>, <Art.Barstow@nokia.com>
- Cc: <www-rdf-interest@w3.org>
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 > >
Received on Tuesday, 16 September 2003 12:25:56 UTC