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

Re: disjointness of numerics

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 21 Jan 2009 16:51:56 +0000
Message-Id: <21A92641-4A1F-4956-B438-D68B04A464F3@cs.man.ac.uk>
Cc: "Sandro Hawke" <sandro@w3.org>, <public-owl-wg@w3.org>
To: "Michael Schneider" <schneid@fzi.de>

On 21 Jan 2009, at 16:42, Michael Schneider wrote:
[snip]
> I am not sure about the situation in OWL 1. Both datatypes,  
> xsd:decimal and
> xsd:double, were not required to be supported, AFAIU. I would guess  
> that
> there is some chance that at least /some/ existing OWL 1 DL  
> reasoners will
> draw the first conclusion,

Yes, but, arguably, erroneously as they types are disjoint in XML  
Schema.

> since the two datatypes are pretty common. But I
> believe that this would then be a proprietary extension w.r.t. the  
> OWL 1
> spec (though this extension would not be in conflict with OWL 1 DL).

They are permitted in OWL 1, so it's unclear that one should consider  
it proprietary. Varying from Schema might be considered such.

> Anyone having better information? (E.g., did old versions of Pellet  
> draw the
> first conclusion?)

No, due to disjointness.

Cheers,
Bijan.
Received on Wednesday, 21 January 2009 16:48:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 21 January 2009 16:48:33 GMT