- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Thu, 7 Jun 2001 16:19:37 +0100
- 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 UTC