- From: Richard H. McCullough <rhm@cdepot.net>
- Date: Wed, 20 Nov 2002 19:45:16 -0800
- To: "David Menendez" <zednenem@psualum.com>
- Cc: "RDF-Interest" <www-rdf-interest@w3.org>
Received on Wednesday, 20 November 2002 22:45:17 UTC
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/
Received on Wednesday, 20 November 2002 22:45:17 UTC