Re: Antwort: Re: Fwd: logics of RDF

"Peter F. Patel-Schneider" wrote:
> 
> Unfortunately, RDFS has precisely the class that prevents layering,
> rdfs:Class.  Modifying RDFS to a layered theory might help, but this would
> be a significant modification of RDFS, as much of the justification for
> RDFS is precisely that it has classes like rdfs:Class.

I think your last sentence exactly points at the heart of at least one of our problems with RDF:  

"much of the justification for RDFS is precisely that it has classes like rdfs:Class."

I wonder if that is really true. Yes, it is important for RDFS that we can form classes of classes (and this feature is actively), but it is really necessary that rdfs:Class is an instance of >*itself*< (ie breaking the layered theory?)

I would suggest that most (if not: all) of the usage of rdfs:Class would still work within a layered theory. (This is certainly the case in our own tools and 

Question: would anyone care to confirm or deny that people do not rely on 
          rdfs:Class being member of itself
         (in particular the RDF experts in this group)
 
Question: is it really true that this would be all that much of a change to RDF?
          Syntactically? (My guess is no)
          Semantically?  (more so, but the model theory is still up for grabs)

I would suggest that getting RDFS to accept a layered theory would solve many of our problems with building OWL on top of RDFS.

Frank.
   ----

Received on Friday, 1 February 2002 15:43:40 UTC