W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

RE: Issue-114 (punning)

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Wed, 2 Jul 2008 13:42:25 +0100
To: "'Peter F. Patel-Schneider'" <pfps@research.bell-labs.com>, <hoekstra@uva.nl>
Cc: <bparsia@cs.man.ac.uk>, <public-owl-wg@w3.org>
Message-ID: <004c01c8dc41$14936c90$7212a8c0@wolf>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC