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

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

From: Zhe Wu <alan.wu@oracle.com>
Date: Tue, 20 Jan 2009 13:27:32 -0500
Message-ID: <49761794.6050706@oracle.com>
To: Boris Motik <boris.motik@comlab.ox.ac.uk>
CC: "'Ivan Herman'" <ivan@w3.org>, "'Bijan Parsia'" <bparsia@cs.manchester.ac.uk>, "'W3C OWL Working Group'" <public-owl-wg@w3.org>

Boris,

Thanks much for the quick fix!

Cheers,

Zhe

Boris Motik wrote:
> 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 18:28:32 GMT

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