Re: RDF vocabulary definitions

re: RDF vocabulary definitionsI 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

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.
============ 
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 7:30 PM
  Subject: re: RDF vocabulary definitions


  snip

  That does not follow from what I said. You are confusing "X rdfs:subClassOf rdfs:Class." with "X rdf:type rdfs:Class.". These are different things.


  I(rdf:Property) is a member of ICEXT(I(rdfs:Class)). This does not imply that
  ICEXT(I(rdf:Property)) is a subset of ICEXT(I(rdfs:Class)).
-- 
Dave Menendez - zednenem@psualum.com - http://www.eyrie.org/~zednenem/