W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2009

Re: A minor bug in OWL 2 RL - Theorem PR1

From: Ivan Herman <ivan@w3.org>
Date: Tue, 20 Jan 2009 09:59:13 +0100
Message-ID: <49759261.7050402@w3.org>
To: Bijan Parsia <bparsia@cs.manchester.ac.uk>
CC: W3C OWL Working Group <public-owl-wg@w3.org> 
I agree both with Boris and Bijan... This is a bug fix.

Cheers

Ivan

Bijan Parsia wrote:
> 
> That seems fine to me.
> 
> I also think this is legitimately a bug and not a design change. So, I
> think there's no trouble in treating it as editorial...is there?
> 
> Cheers,
> Bijan.
> 

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf
Received on Tuesday, 20 January 2009 08:59:59 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 20 January 2009 09:00:00 GMT