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:42:49 +0000
Message-ID: <4739F029.5060400@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:

> 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 GMT

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