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

Hello,

OK, fixed. Thanks everyone!

I've also added the usage of {{:Shared_RFC2119}} to all documents apart from Direct Semantics (I really find it strange to define
certain keywords in a document that does not use them).

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Ivan Herman
> Sent: 20 January 2009 08:59
> To: Bijan Parsia
> Cc: W3C OWL Working Group
> Subject: 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