RE: Critical literal semantics issue

> > All this means is that rdfs:Literal denotes a class, but it 
> says nothing
> > about the class extension of rdfs:Literal.  
> 
> The class extension of rdfs:Literal is understood to be a subset of LV
> (see further comments below), i.e. all resources which are 
> denoted by a 
> plain (untyped) literal or a valid typed literal are in LV and hence
> instances of rdfs:Literal.

Or rather, the class extension of rdfs:Literal *is* LV.

Patrick