Is this a good example of a class that is also an individual?

• From: Roger L. Costello <costello@mitre.org>
• Date: Mon, 10 Mar 2003 15:45:51 -0500
• To: www-rdf-logic@w3.org
• CC: "Costello,Roger L." <costello@mitre.org>
• Message-ID: <3E6CF97F.D7C3D0B7@mitre.org>

Hi Folks,

A friend sent me the below as an example of a class that is both acting
as a class and as an individual.  Neither of us are "certain" that it is
correct.  Could someone verify that class Flight37 is valid?  /Roger

<!-- The collection of all airline flight numbers -->
<rdf:Class rdf:ID="AirlineFlight"/>

<rdf:Property rdf:ID="scheduledDeparture">
  <rdfs:Domain rdf:resource="#AirlineFlight"/>
</rdf:Property>

<!-- The collection of all individual flights -->
<rdf:Class:rdf:ID="FlightInstance"

<rdf:Property rdf:ID="actualDeparture">
  <rdfs:Domain rdf:resource="#FlightInstance"/>
</rdf:Property>

<!-- An individual of AirlineFlight for flight 37 and 
     the collection of all individual flights of flight 37 -->  
<rdfs:Class rdf:ID="Flight37">
  <rdf:type rdf:resource="#AirlineFlight"/>
  <rdfs:subClassOf rdf:resource="#FlightInstance"/>
  <scheduledDeparture>10:15</scheduledDeparture>
</rdf:Description>

<!-- An idividual of the Flight37 class -->
<Flight37 rdf:ID="Flight37_20030310">
  <actualDeparture>10:30</actualDeparture>
</Flight37>

Received on Monday, 10 March 2003 15:46:06 UTC