W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2001

Re: RDFCore Update

From: Aaron Swartz <aswartz@upclink.com>
Date: Thu, 18 Oct 2001 21:17:25 -0500
Cc: www-rdf-interest@w3.org, Patrick.Stickler@nokia.com
To: Devon Smith <devon@taller.pscl.cwru.edu>
Message-Id: <6FF35816-C437-11D5-B745-003065D5CE46@upclink.com>
On Thursday, October 18, 2001, at 03:46  PM, Devon Smith wrote:

> wouldn't this use of rdfs:range change it's semantics?
> if it's used as a type specification mechanism, that would seem
> to exclude it from being used as a type verification mechanism.

In the past rdfs:range has been used as sort of both, but the 
recent model theory[1] makes it clear that it is a type 
specification mechanism. RDFS Rule #5 states that:

xxx aaa uuu .
aaa rdf:range zzz .
     implies
uuu rdf:type zzz .

Of course, an RDF Lint program is free to look at a set of RDF 
data, and associated schemas and say:

  * It looks like uuu is supposed to be of type zzz, but you 
never declared that or declared it to be of a different type. 
Are you sure you really meant that?

[1] http://www.w3.org/TR/rdf-mt/
--
[ "Aaron Swartz" ; <mailto:me@aaronsw.com> ; <http://www.aaronsw.com/> ]
Received on Thursday, 18 October 2001 22:17:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT