W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: properties with classes as values?

From: Sean B. Palmer <sean@mysterylights.com>
Date: Thu, 7 Jun 2001 16:19:37 +0100
Message-ID: <09b701c0ef65$63ca1fa0$aae593c3@z5n9x1>
To: "David Martin" <martin@ai.sri.com>
Cc: <www-rdf-logic@w3.org>
> 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/> .
Received on Thursday, 7 June 2001 11:19:10 GMT

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