RE: properties with classes as values?

>-----Original Message-----
>From: Sean B. Palmer [mailto:sean@mysterylights.com]
>Sent: Thursday, June 07, 2001 11:20 AM
>To: David Martin
>Cc: www-rdf-logic@w3.org
>Subject: 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.
>
Couldn't the above range expression be simplified, since all things that are
a subClassOf something must be a Class? This makes the intersection
superfluous. So the above becomes (assuming 'x' was meant to be a property,
not a class):

<daml:Property rdf:ID="x">
 <rdfs:range>
   <rdf:Description>
      <rdfs:subClassOf rdf:resource="#Animal"/>
   </rdf:Description>
 </rdfs:range>
</daml:Property>


- Lewis
___________________________________________
Lewis L Hart 
GRC International            lhart@grci.com
1900 Gallows Rd.        Voice (703)506-5938
Vienna, Va 22182          Fax (703)556-4261

Received on Thursday, 7 June 2001 11:45:37 UTC