Re: Alan Ruttenberg: Re: notes from OWL and RIF datatype coordination meeting

On 18 Feb 2009, at 13:47, Alan Ruttenberg wrote:

> Hi Bijan,
>
> The problem is that the implementation considerations that lead RIF to
> want disjointness lead to further consequences (primarily the desire
> to use existing implementations of the xpath numeric operators) extend
> beyond disjointness.

That's not a problem for the OWL WG. That they may go beyond what is  
reasonable (at least for OWL) doesn't stop it being reasonable for us  
to go with disjointness.

> As the report of my discussion with Jos revealed,
> it extends into how facets can be used, requiring further changes,
> and, because of, for instance, the lack of a precise, implementation
> independent definition of them, yield consequences that undermine the
> stated goal of interoperability with OWL and across the SW stack.
>
> A discussion of our decision, in my view, needs to address all these
> issues and I would be against a decision to choose disjointness if it
> only brings an illusory gain.

We have ample other reason to reconsider the disjointness  
consideration. It's hard to imagine any reform of the RIF numeric  
handling that would press them to give up disjointness, whatever else  
they may or may not change.

Are you against, qua chair, our bringing this question to the OWL  
group? Will you even take the temperature of the group?

[snip]
>> (I have to do some interpretation to figure out what you mean by  
>> "specify
>> machine representations of numbers...". I presume you mean that we  
>> should
>> define the number system of OWL via standard mathematical  
>> apparatus (we do)
>> such that they align with common mathematical connotation of the  
>> natural
>> language terms (for which either disjointness or non-disjointness is
>> justifiable). There is no univocal set of mathematical properties  
>> associated
>> with the term "float" even up to reasonable isomorphism.
>
> We aren't working with the natural language definition of "float". We
> are working with (effectively) the IEEE definition.

Which says nothing about the relationship to integers (for example,  
at least for the purposes of identity). And, in fact, we are working  
with the XSD Schema datatypes system (xsd:float, not ieee:float). And  
arguably, they are disjoint in that mathematical structure. Q.E.D.

>> So there is no
>> "given" to adjudicate which mathematical structure we select. That  
>> is, you
>> are *not* on the mathematical or philosophical high ground here,  
>> and I would
>> appreciate it if you would stop writing as if you were.)
>
> I'm sorry if you don't like my style of writing.

It's not primarily your style, it's your content.

There is no in principle mathematical argument which says that floats  
are not disjoint from decimals in a number system. None. Zero. Zip.  
Zilch. 0.0. "0"^^nonNegativeInteger.

> However I stand by my
> arguments.

What arguments? I don't see any beyond "We should define stuff in  
terms of the mathematical properties of the numbers". I grant that  
and also point out that float disjoint decimal is a perfectly sane  
set of mathematical properties. We have several other considerations  
that make this set of mathematical properties overwhelmingly  
preferable. I've not heard anything from you in the other direction.

>> mplementability
>> is firmly on the side of disjointness, the usability argument is  
>> further
>> undermined by the usability costs of diverging from RIF (and standard
>> interpretations of XML Schema), and I have a second wind :)
>
> As I've pointed out, we are likely to diverge from RIF because of the
> other consequences of them relying on built in numeric operators not
> designed with reasoning in mind.

We will not diverge from them on disjointness.

The only point in your email that is not disjointness related is 3  
where you confuse facets with op:numeric-greater-than. These are  
different predicates and there is no incompatibility in different  
predicates behaving differently. Those predicates do not appear in  
OWL ontologies.

This is a bit like saying that we'll diverge with them on  
conditionals. Sure. Because we have *different conditionals*.

So, under all the ado there's a heaping pile of nothing.

[snip]
>> (hence, new information), then, unless there are actual, new  
>> technical
>> arguments in the offing
>
> there are, as I detail in my recounting of the discussion with Jos.
[snip]

In point of fact, there are not.

We have an easy solution to the *actual* last call request that fits  
in with other new information we have and, I believe, the  
overwhelming view of the working group. Hence, we should do this fix  
and move on. If you wish to pursue further numerics issues with RIF,  
I believe that they have last call coming up. Or you could join that  
group.

If that isn't sufficient, I hereby raise a last call comment that  
float (et al) and decimal (et al) should be disjoint in accordance  
with XML Schema 1.0, with common practice and implementation (Jena,  
Pellet) and for implementation reasons (cf. HermiT).

(I know it's past the LC period but we've accepted lots of out of  
period LC comments.)

Cheers,
Bijan.

Received on Wednesday, 18 February 2009 14:34:12 UTC