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

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

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Tue, 20 Jan 2009 09:15:38 -0000
To: "'Ivan Herman'" <ivan@w3.org>, "'Bijan Parsia'" <bparsia@cs.manchester.ac.uk>
Cc: "'W3C OWL Working Group'" <public-owl-wg@w3.org>
Message-ID: <B70938730E5844E8B18C2335672D0AD4@wolf>

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
Received on Tuesday, 20 January 2009 09:16:27 GMT

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