Re: RDF Issue rdfs-clarify-subClass-and-instance

I would like to ask if it legal to transform the following set of 
triples that uses 2 rdf:type properties:

A rdf:type rdfs:Class
x rdf:type A
x rdf:type rdfs:Class

to the following set (which has just one rdf:type property):

A rdf:type rdfs:Class
A rdfs:subClassOf rdfs:Class
x rdf:type A

Actually, the first set of triples tries to say that A is a class of 
classes. This (I believe)
can be more elegantly said by the second set of triples.

If the semantics of the 2 above are considered equivalent, then this 
transformation
can be enforced to any meta-level of instantation, i.e. whenever a 
resource is both
an instance of its class and its class' class, then it can be made an 
instance of only its class,
by making its class a sub-class of its own class.

I came up with this situation when looking at the DC namespace
(especially the DC terms namespace http://purl.org/dc/terms/).


-- 
**************************************************************
* Dr. Nick Bassiliades                                       *
*                                                            *
* Programming Languages And Software Engineering (PLASE) Lab *
* Logic Programming and Intelligent Systems (LPIS) Group     *
*                                                            *
* Dept. of Informatics, Aristotle University of Thessaloniki *
* 54006 Thessaloniki, Greece                                 *
*                                                            *
* Tel: +30310998418    E-mail: nbassili@csd.auth.gr          *
* Fax: +30310998419    URL:    http://www.csd.auth.gr/~nick  *
**************************************************************

Received on Thursday, 29 August 2002 06:16:57 UTC