Re: RDF Schema - question on implied typing with rdfs:Class

ex:PassengerVehicle rdf:type rdfs:Class is an explicit assertion of what you're describing. Your rdfs:subClassOf triple entails ex:PassengerVehicle rdf:type rdfs:Class. However, if the assertion ex:PassengerVehicle rdfs:subClassOf ex:MotorVehicle is removed and you do not assert ex:PassengerVehicle be an instance of rdfs:Class, then ex:PassengerVehicle is no more an instance of rdfs:Class unless you retain the explicit assertion.


Jeremy
  ----- Original Message ----- 
  From: Hans Teijgeler 
  To: semantic-web@w3.org 
  Sent: Wednesday, April 06, 2005 2:09 PM
  Subject: RDF Schema - question on implied typing with rdfs:Class


  Hi,

  I am new in the RDF scene, and I have read most of the related W3C Recommendations and the Primer.

  I have a simple question about RDF Schema, with probably a simple answer:
  In the Primer I read that ALL classes need to be typed with rfds:Class. So for example:
      ex:MotorVehicle          rdf:type                rdfs:Class .
      ex:PassengerVehicle   rdf:type                rdfs:Class .
      ex:PassengerVehicle   rdfs:subClassOf   ex:MotorVehicle .

  Is there a reason why the subclass ex:PassengerVehicle doesn't inherit being an rdfs:Class from the superclass ex:MotorVehicle?

  Regards,
  Hans

  ____________________________
  Hans Teijgeler
  co-author of ISO 15926-2
  author of ISO 15926-7
  website www.InfowebML.ws
  e-mail hans.teijgeler@quicknet.nl
  phone +31-72-509 2005