W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2002

Re: RDF vocabulary definitions

From: Richard H. McCullough <rhm@cdepot.net>
Date: Wed, 20 Nov 2002 23:10:57 -0800
Message-ID: <001d01c2912d$2441e7d0$bd7ba8c0@rhm8200>
To: "David Menendez" <zednenem@psualum.com>
Cc: "RDF-Interest" <www-rdf-interest@w3.org>
Re: RDF vocabulary definitionsAha!

You are saying that a resource is the name of a concept,
and that rdf:Property is such a name, and is an individual of the class rdfs:Class,
which is a class of names.
You are further saying that the extension of rdf:Property, i.e., its meaning, is
not a subset of the meaning/extension of rdfs:Class.

If I am making the correct interpretation here,
this is an attempt to separate the name of a concept from the concept that it refers to.
That's fine if you're concerned with the dirty details of how to manage names.
But if you want to make statements about reality, you can't separate the name & its concept.

I am led to the following conclusions.
rdfs:Class is the class of all class names -- basically a tool for bookkeeping -- as divorced as possible from the real world.
rdf:Property is a word, and in that sense is an individual of the class rdfs:Class.
However, the meaning of rdf:Property, which is the meaning of the concept that it refers to, 
is the class of all properties.
The set of all properties is a proper subset of the set of all existents (Things), so
    rdf:Property  rdfs:subClassOf  rdfs:Thing
is true.
But the set of all properties and the set of all class names have no real relation between them, and
    rdf:Property  rdfs:subClassOf  rdfs:Class
is false.

Somebody correct me if this is yet another misunderstanding of rdfs:Class.

============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition

  ----- Original Message ----- 
  From: David Menendez 
  To: Richard H. McCullough 
  Cc: RDF-Interest 
  Sent: Wednesday, November 20, 2002 9:19 PM
  Subject: Re: RDF vocabulary definitions


  At 7:45 PM -0800 2002-11-20, Richard H. McCullough wrote:
    I am still baffled by your RDF-MT equations.
    Are you saying that
        rdfs:Property is an individual of rdfs:Class
    instead of
        rdfs:Property is a subclass of rdfs:Class



  Yes. rdf:Property is a resource. Its type is rdfs:Class.


  A point of clarification: I am neither the author of RDF-MT nor a member of the working group. I'm just applying the forms given in the document and my own understanding.


    I'd like to stick to identifying the nature of rdfs:Property & rdfs:Class,
    since I know that they are concepts, and I know what concepts are.
    I do not know what your RDF-MT symbols are.


  A property is represented by a resource with the type rdf:Property. It can be used as the predicate in an RDF assertion. A class is represented by a resource with the type rdfs:Class. It can be used as the value of rdf:type.


  PS. It's rdf:Property, not rdfs:Property.


-- 
Dave Menendez - zednenem@psualum.com - http://www.eyrie.org/~zednenem/
Received on Thursday, 21 November 2002 02:11:00 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT