- From: Michael Schneider <schneid@fzi.de>
- Date: Wed, 21 Jan 2009 17:42:28 +0100
- To: "Sandro Hawke" <sandro@w3.org>
- Cc: <public-owl-wg@w3.org>
- Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0F9889D@judith.fzi.de>
>-----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 UTC