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

RE: disjointness of numerics

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 21 Jan 2009 17:42:28 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0F9889D@judith.fzi.de>
To: "Sandro Hawke" <sandro@w3.org>
Cc: <public-owl-wg@w3.org>
>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Sandro Hawke
>Sent: Wednesday, January 21, 2009 5:21 PM
>To: public-owl-wg@w3.org
>Subject: disjointness of numerics
>
>
>
>Informal test case:
>
>    premise:     eg:x eg:y "1"^^xsd:decimal.
>
>    conclusion:  eg:x eg:y "1"^^xsd:double.
>
>Does this entailment hold in OWL 1?
>
>Does this entailment hold in OWL 2?   [I think so.]
>
>Alternatively (the same thing, I think):
>
>   premise:      eg:x owl:sameAs "1"^^xsd:decimal.
>
>   conclusion:   eg:x owl:sameAs "1"^^xsd:double.
>
>And what do existing OWL 1 reasoners do with these?

For the second testcase: I would expect an OWL DL reasoner (1 or 2) to
report a syntax error. :)

An OWL 2 Full reasoner will be required to draw both conclusions, since both
literals have the same denotation (the integer 1).

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, 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).

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

Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

============================================================================
==

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi
Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

============================================================================
==



Received on Wednesday, 21 January 2009 16:43:12 GMT

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