Re: Issue-114

On 2 Jul 2008, at 14:17, Boris Motik wrote:

> Hello,
>
> That class/datatype punning must be disallowed, for the same  
> reasons why we disallow data and object property punning. For example,
> if you see ComplementOf( C ), you don't know whether C is a class  
> or a datatype.

Ah,yes, thanks. I forgot. I was only thinking about it in restrictions.

> The specification as it is contains the least necessary set of  
> restrictions that we need to make everything work, and everything
> else can be punned without problem. I really there is notming more  
> to say about this topic.


I agree.

Cheers,
Bijan.

Received on Wednesday, 2 July 2008 13:33:13 UTC