Re: Action needed: subClassOf on datatypes

* Graham Klyne <gk@ninebynine.org> [2003-09-02 16:10+0100]
> 
> At 07:57 02/09/03 -0500, Dan Connolly wrote:
> 
> >(e) note that semantics of datatypes includes subClassOf
> >relationships.
> 
> I'm uneasy with that.
> 
> Who is responsible for defining the relevant triples that cannot be 
> inferred?
> 
> Suppose I have datatypes
> 
>   xsd:integer
> 
> and
> 
>   foo:EvenNumbers
> 
> where the latter's value space is subset of the first's.
> 
> Who is responsible to say:
> 
>   foo:evennumbers rdfs:subClassOf xsd:integer
> 
> ?

re 'who is responsible'?

Nowhere in our SW specs (to my knowledge) do we profess to care about 
*who* makes such assertions, or for that matter *when*, *where* or
*Why*. All we care about is whether they are sensible (ie. meaningful)
things to assert, and if so, what they mean.

Dan

> I think it's easier to leave it unsaid, and allow anyone who needs the 
> subclass assertion to addf it in the knowledge that it's not inconsistent.
> 
> #g
> 
> 
> ------------
> Graham Klyne
> GK@NineByNine.org