- From: Aaron Swartz <aswartz@upclink.com>
- Date: Thu, 18 Oct 2001 21:17:25 -0500
- To: Devon Smith <devon@taller.pscl.cwru.edu>
- Cc: www-rdf-interest@w3.org, Patrick.Stickler@nokia.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 UTC