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

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 UTC