- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Tue, 13 Nov 2007 18:04:57 +0000
- 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 UTC