W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2009

Re: draft public comment for OWL last call from RIF

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Fri, 23 Jan 2009 16:28:52 +0100
Message-ID: <4979E234.6070506@inf.unibz.it>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
CC: Chris Welty <cawelty@gmail.com>, Bijan Parsia <bparsia@cs.manchester.ac.uk>, Sandro Hawke <sandro@w3.org>, Dave Reynolds <der@hplb.hpl.hp.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> 
> One could make a better case that difference in the *semantics* of same
> named datatypes should be the same. But even there, OWL does *different
> things* with the datatypes (i.e., it treats them as constraints).

I don't see a strong case for that. I personally find it ridiculous if
in OWL
"1"^^xsd:int owl:sameAs "1"^^xsd:float
is a tautology, but in RIF
"1"^^xsd:int = "1"^^xsd:float
is inconsistent.


Best, Jos
Received on Friday, 23 January 2009 15:29:12 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:00 GMT