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, 23 April 2007 18:19:54 GMT