- From: Richard H. McCullough <rhm@volcano.net>
- Date: Sat, 15 Oct 2005 00:06:21 -0700
- To: <sauerkrautragout.13358628@bloglines.com>
- Cc: <semantic-web@w3c.org>
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