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

disjointness of numerics

From: Sandro Hawke <sandro@w3.org>
Date: Wed, 21 Jan 2009 11:21:09 -0500
To: public-owl-wg@w3.org
Message-ID: <29823.1232554869@ubehebe>

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?

     -- Sandro
Received on Wednesday, 21 January 2009 16:21:18 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:08 UTC