Re: Treating a class as both an individual and a class? from Thomas B. Passin on 2003-03-11 (www-rdf-logic@w3.org from March 2003)

From: Thomas B. Passin <tpassin@comcast.net>
Date: Mon, 10 Mar 2003 21:03:05 -0500
To: www-rdf-logic@w3.org
Message-id: <004001c2e772$727b5ad0$6401a8c0@tbp1>

[Peter F. Patel-Schneider]

> 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).
>
>

I understand this to mean that Davenport could also be inferred to be an
instance of other classes that have a "River" feature.  E.G. -

<City rdf:ID="Davenport">
          <hasFeature rdf:resource="#YYYRiver" />
          <hasFeature rdf:resource="#CleanAir" />
</City>

Now Davenport is found to be an instance of both CityOnARiver and
CityWithCleanAirOnARiver (the restriction statement for which is here
omitted).  Is this right?

Cheers,

Tom P

Received on Monday, 10 March 2003 23:19:51 UTC