Re: declaredAs

Does it break it, or does it make the OWL-1.1 entailments only be a  
subset of OWL-Full entailments.
If it breaks, could you say how please?
-Alan

On Aug 9, 2007, at 12:23 PM, Pat Hayes wrote:

> Not really. Im sure it was meant to have this intention, but the  
> effect of moving to punning is two-fold: it breaks the OWL Full  
> semantics, and it breaks the semantic connection between OWL and  
> RDF. Neither of which are desirable, IMO, though both of them are  
> in line with a certain perspective that has long been associated  
> with Manchester

Received on Thursday, 9 August 2007 16:49:19 UTC