Re: RDFCore Update

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 UTC