Re: Action needed: subClassOf on datatypes

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

?

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

Received on Tuesday, 2 September 2003 11:15:04 UTC