RE: Issue-114

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.

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.

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Rinke Hoekstra
> Sent: 02 July 2008 14:12
> To: Michael Schneider
> Cc: Bijan Parsia; OWL Working Group WG
> Subject: Re: Issue-114
> 
> 
> Hi,
> 
> On 2 jul 2008, at 15:06, Michael Schneider wrote:
> > And Class/Datatype punning? That's disallowed, too, at the moment [1].
> 
> I'd say we subject this type of punning to the same scrutiny as with
> the others, in Peter's words:
> 
> On 2 jul 2008, at 14:15, Peter F. Patel-Schneider wrote:
> > to not remove any more punning, on the multiple grounds that it has
> > been
> > requested, that it doesn't appear to cause any technical problems,
> > that
> > it has been implemented, and inertia
> *snip*
> > PS:  If the above rationale is not adequate to retain this feature,
> > then I
> > don't see how any request to add a feature can pass muster.
> 
> 
> 
> -Rinke
> 
> -----------------------------------------------
> Drs. Rinke Hoekstra
> 
> Email: hoekstra@uva.nl    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
> 
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
> 
> 
>

Received on Wednesday, 2 July 2008 13:18:36 UTC