- From: Sbodio, Marco Luca <marco.sbodio@hp.com>
- Date: Wed, 17 Sep 2003 14:49:25 +0200
- 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 UTC