Re: Mustangs vs myMustang

common super class (lub) is Car.  The hierarchy is
Car
/  Mustangs (CarBrand)
//   myMustang

So property should be declared as
<owl:Property rdf:ID="isManufacturerOf">
    <rdf:domain rdf:resource="#Company"/>
    <rdf:range rdf:resource="#Car"/>
</owl:Property>

Then  OWL allows using a subClass (Mustangs) of Car
or an instance (myMustang) of Car as an object ???

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
----- Original Message ----- 
From: <sauerkrautragout.13358628@bloglines.com>
To: <rhm@cdepot.net>
Cc: <semantic-web@w3c.org>
Sent: Friday, October 14, 2005 5:06 PM
Subject: Re: Mustangs vs myMustang


> --- Richard H. McCullough" <rhm@cdepot.net wrote:
> [...]
>> But the real question
> is: can a property have
>> two different kinds of ranges as these
>> declarations
> do.
>
> Yes, but the meaning is not what you are expecting.
>
>> I'll see if
> I can validate these statements.
>>
>> #       Ford Company   isManufacturerOf
>  Mustangs
>> #       Ford Company   isManufacturerOf   myMustang
>>
>> <owl:Property
> rdf:ID="isManufacturerOf">
>>         <rdf:domain rdf:resource="#Company"/>
>
>>         <rdf:range rdf:resource="#CarBrand"/>
>>         <rdf:range rdf:resource="#Car"/>
>
>> </owl:Property>
>
> "Multiple domains mean that the domain of the property
> is the intersection of the identified classes (and similarly for 
> range)."[1]
>
> So imho you created a property whose range consists of things that are of
> type CarBrand AND of type Car.
>
> [...]
>> <FordCompany> <isManufacturerOf>
> <Mustangs/>
>> <FordCompany> <isManufacturerOf> <myMustang/>
>
> This implies
> that both Mustangs and myMustang are of type Car and of type CarBrand.
>
>
> The easiest solution in this case is propably to specifiy the range of 
> isManufacturerOf
> as some common superclass of both car and carBrand.
>
> [1]: (http://www.w3.org/TR/owl-guide#DefiningProperties)
>
>
> cu
>
> valentin
>
> http://www.fzi.de/ipe/eng/
> http://vzach.blogspot.com
>
>
>
> 

Received on Saturday, 15 October 2005 07:09:13 UTC