Re: ACTION 2001-11-02#02: Datatyping use-cases from CC/PP

Patrick.Stickler@nokia.com wrote:

[...]


> Anyway, the gist is that if both a local type and a range
> are defined, then the range can be seen as prescriptive such
> that a value can be deemed invalid if the local type is 
> not equivalent to or a subclass of the range type.


Given the capabalities of RDFS, how could you know that one type is NOT a 
subClassOf another?

Brian

Received on Wednesday, 7 November 2001 06:21:09 UTC