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

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 UTC