RE: Treating a class as both an individual and a class? from Peter Crowther on 2003-03-10 (www-rdf-logic@w3.org from March 2003)

From: Peter Crowther <Peter.Crowther@networkinference.com>
Date: Mon, 10 Mar 2003 20:19:41 -0000
To: "Nikita Ogievetsky" <nogievet@cogx.com>
Cc: <www-rdf-logic@w3.org>
Message-ID: <3BE4D3F0FB726240966DEF40418472B5077087@ni-lon-server1.ad.networkinference.com>

> From: Nikita Ogievetsky [mailto:nogievet@cogx.com] 
> > 2/ <http://geodesy.org#River" rdf:ID="YYYRiver" />
> > 
> >    <City rdf:ID="Davenport">
> >          <hasFeature rdf:resource="#YYYRiver" />
> >    </City>
> > 
> >    makes Davenport a city on the YYYRiver and also an instance of
> >    CityOnARiver (without mentioning CityOnARiver explicitly).
> > 
> 
> Interesting. Do you mean that "2/" is semantically equivalent to 
> <CityOnARiver rdf:ID="Davenport">
>     <hasFeature rdf:resource="#YYYRiver" />
> </CityOnARiver>
> ?
> 
> In other words, "is-a CityOnARiver" assertion will be inferred from
> "hasFeature YYYRiver",  "is-a City"?

A different Peter, I know, but... yes.

> This is very becoming but also looks rather dangerous.
> I wonder if tools can really support this.

OilEd, for example, seems to support it without much difficulty.

		- Peter

Received on Monday, 10 March 2003 15:19:49 UTC