W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

Re: ISSUE-5: n-ary datatypes - decidability on merging

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 13 Nov 2007 18:04:57 +0000
Message-ID: <4739E749.4080003@hpl.hp.com>
To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
CC: Alan Ruttenberg <alanruttenberg@gmail.com>, public-owl-wg@w3.org

Carsten Lutz wrote:

> 
> I mean this on an anstract and intuitive level. It may not be reflected
> in the Pan-Horrocks formalization, I don't know. The point is, it *could*
> easily be formalized. But it would look somewhat awkward. The question
> is: is it worth it, only to get well-behaved mergers of, as you say,

I find this credible - but feel that it is appropriate to indicate that 
(to my somewhat limited knowledge) such formal work has not been done, 
and without it we only have hunch and intuition as to quite what 
interactions will happen.

Jeremy
Received on Tuesday, 13 November 2007 18:05:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT