disjointness of numerics from Sandro Hawke on 2009-01-21 (public-owl-wg@w3.org from January 2009)

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