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

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
>>     
>
>
>