Re: model theory for RDF/S from Peter F. Patel-Schneider on 2001-09-27 (www-rdf-logic@w3.org from September 2001)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 27 Sep 2001 14:23:02 -0400
To: phayes@ai.uwf.edu
Cc: www-rdf-logic@w3.org
Message-Id: <20010927142302F.pfps@research.bell-labs.com>

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

Received on Thursday, 27 September 2001 14:21:54 UTC