Re: ISSUE-5: n-ary datatypes - decidability on merging from Jeremy Carroll on 2007-11-13 (public-owl-wg@w3.org from November 2007)

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

Carsten Lutz wrote:

> F. Baader, C. Lutz, H. Sturm, and F. Wolter.  Fusions of Description
> Logics and Abstract Description Systems.  Journal of Artificial
> Intelligence Research (JAIR), 16:1?58, 2002.
> 
> This paper may not be very accessible to a general OWL audience. What
> we call datatypes in OWL is called concrete domains in that paper, and a 
> result (but now quite the one we need) about concrete domains is
> proved in Section 5.3.


Thanks, I'll take a look.

Jeremy

Received on Tuesday, 13 November 2007 18:43:27 UTC