Re: model theory for RDF/S

From: Pat Hayes <phayes@ai.uwf.edu>
Subject: Re: model theory for RDF/S
Date: Thu, 27 Sep 2001 12:48:54 -0500
> >
> >6. has the implication that ``classes'' have to be resources (i.e., not
> >literals that are not resources).  This is not captured in the RDF section
> >of the model theory document.
> 
> Seems to me that these conditions only have any effect on the formal 
> language in RDFS, since RDF has no way to refer to classes as such, 
> including the class of properties.  RDF properties - ie arc labels in 
> an RDF graph - are required (by the RDF syntax) to be URIs which are 
> required (by the model theory) to denote resources (members of IR), 
> but I don't see any other consequences of this for the meanings of 
> any expressions in the actual formal language until we get to RDFS.
> 
> Pat

Unless a query language for RDF cares about this sort of stuff.

peter