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 13:58:24 +0000
Message-ID: <4739AD80.8000406@hpl.hp.com>
To: Alan Ruttenberg <alanruttenberg@gmail.com>
CC: public-owl-wg@w3.org

Alan Ruttenberg wrote:
> Hello Jeremy,
> 
> When you say "merging" what exactly do you mean? Do you mean the 
> combination of two OWL-DL ontologies to make a third?
> 
> -Alan

Yes - for instance if party A publish ontology AA, B publishes BB, and
C publishes CC which imports AA and BB. An important question for C is 
do AA and BB interact, and if C is working on OWL DL, what constraints 
are placed on AA and BB.

While there are some plausible unfortunate interactions in OWL 1.0 DL, 
these are to do with interactions over vocabulary items.

In the datatype groups work of Pan and Horrocks, the mergeability of 
datatype groups is weak, and so problems in this area are expected.

Jeremy
Received on Tuesday, 13 November 2007 13:58:51 GMT

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