Re: properties with classes as values?

> What I want is that the value of myProperty can be
> *any* class.

Then the range of it is rdfs:Class.

   :myProperty rdfs:range rdfs:Class .

> >    :x rdfs:range
> >       [ daml:intersectionOf
> >           (:Class [ rdfs:subClassOf :Animal ]) ] .
> > XML RDF of these things available upon request...
>
> I would very much appreciate seeing the last sample above
> in DAML+OIL.

<daml:Class rdf:ID="x">
 <rdfs:range>
  <rdf:Description>
   <daml:intersectionOf parseType="daml:collection">
     <daml:Class rdf:ID="Class"/>
     <rdf:Description>
       <rdfs:subClassOf rdf:resource="#Animal"/>
     </rdf:Description>
   </daml:intersectionOf>
  </rdf:Description>
 </rdfs:range>
</daml:Class>

In prose: the range of class "x" is an intersectionOf "#Class" and
something which is the subClassOf "#Animal"; which most likely isn't
what you really want to say.

>  (a) assert that something is a subclass of Animal
>  (b) denote the set of all subclasses of Animal?

[ rdfs:subClassOf :Animal ] should be read as "something which is a
subClassOf Animal". Not all of the subClasses, one specific sub class.
So, (a).

> Your example seems to rely on (b).

Nope.

> But ordinary uses, such as
>
> <daml:Class rdf:ID="Male">
>   <rdfs:subClassOf rdf:resource="#Animal"/>
> </daml:Class>
>
> in the walkthru, seem to rely on (a).

That just says that "Male" is a subClassOf "Animal".

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .