W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2003

RE: Enumeration in RDF

From: Sbodio, Marco Luca <marco.sbodio@hp.com>
Date: Wed, 17 Sep 2003 14:49:25 +0200
Message-ID: <50DFF49E8F8D2344B51FAE9C16854020326F30@mlnexc01.emea.cpqcorp.net>
To: "Reto Bachmann-Gmuer" <reto@gmuer.ch>
Cc: "Dan Brickley" <danbri@w3.org>, <Art.Barstow@nokia.com>, <www-rdf-interest@w3.org>

> -----Original Message-----
> From: Reto Bachmann-Gmuer [mailto:reto@gmuer.ch]
> Sent: Tuesday, September 16, 2003 8:52 PM
> To: Sbodio, Marco Luca
> Cc: Dan Brickley; Art.Barstow@nokia.com; www-rdf-interest@w3.org
> Subject: Re: Enumeration in RDF
> 
> [...]
>
> So I guess you could restrain on
> http://www.w3.org/2000/01/rdf-schema#member:
> 
> <rdfs:Class rdf:ID="BagSize4>
> ~  <rdfs:subClassOf
> ~   rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag"/>
> ~ <rdfs:subClassOf>
> ~  <owl:Restriction>
> ~   <owl:onProperty
> ~ 	rdf:resource="#http://www.w3.org/2000/01/rdf-schema#member" />
> ~   <owl:cardinality
> ~        rdf:datatype="&xsd;nonNegativeInteger">4</owl:cardinality>
> ~  </owl:Restriction>
> ~ </rdfs:subClassOf>
> </rdfs:Class>
> 

I think this is a good idea, but I don't know if you can put <owl:Restriction> inside a <rdfs:Class>. I think that here we're switching to OWL to define the class, so it's probably going to be something like this:

<owl:Class rdf:ID="BagSize4">
  <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag" />
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="#http://www.w3.org/2000/01/rdf-schema#member" />
	<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">4</owl:cardinality>
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>

which means that we define a class named "BagSize4", which is a subClass of rdfs:Bag, and we're saying that every instance of "BagSize4" have exactly 4 members (where "having a member" is the property rdfs:member)

is that OK?

cheers
marcos

---
Marco Sbodio
while(++$_){print$_,$/if("x"x$_)!~/^(xx+)\1+$/}
Received on Wednesday, 17 September 2003 08:56:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:02 GMT