RE: Issue-114 (punning)

Ditto +1.

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Peter F. Patel-
> Schneider
> Sent: 02 July 2008 13:15
> To: hoekstra@uva.nl
> Cc: bparsia@cs.man.ac.uk; public-owl-wg@w3.org
> Subject: Re: Issue-114 (punning)
> 
> 
> From: Rinke Hoekstra <hoekstra@uva.nl>
> Subject: Re: Issue-114
> Date: Wed, 2 Jul 2008 13:54:46 +0200
> 
> > On 2 jul 2008, at 13:19, Bijan Parsia wrote:
> > > I propose closing this issue with no change.
> >
> > +1
> >
> > -Rinke
> 
> ++1 to close this issue with no change from the current situation, i.e.,
> 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
> 
> peter
> 
> 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.
> 

Received on Wednesday, 2 July 2008 12:44:11 UTC