W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

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

From: Nick Bassiliades <nbassili@csd.auth.gr>
Date: Thu, 29 Aug 2002 13:17:37 +0300
Message-ID: <3D6DF4C1.60700@csd.auth.gr>
To: www-rdf-comments@w3.org

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 
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:18 UTC