W3C home > Mailing lists > Public > public-rif-wg@w3.org > April 2010

Re: [SWC] status of proofs in appendix

From: Jos de Bruijn <jos.debruijn@gmail.com>
Date: Thu, 1 Apr 2010 16:40:15 +0200
Message-ID: <q2r16b487ba1004010740nc7aa19adv14be05e47dd91d5f@mail.gmail.com>
To: RIF <public-rif-wg@w3.org>
I finished the proof for the OWL 2 RL embedding [1]. You can see it's quite
lengthy :)
It would be great if someone could check it.

Cheers, Jos

[1] http://www.w3.org/2005/rules/wiki/SWC#Embedding_OWL_2_RL_into_RIF_BLD

On Tue, Mar 23, 2010 at 3:16 PM, Jos de Bruijn <jos.debruijn@gmail.com>wrote:

> I started working on the proofs. Unfortunately, I have not yet been able to
> finish updating them; basically, the proof main lemma for the embedding of
> RIF-OWL2RL combinations still needs to be finished.
>
> I have updated and included the proof for the RDFS embedding, as well as
> the RIF-OWL2RL normalization lemma. I also found that the notation used in
> the proof of the embedding of RIF DL-document formulas into RIF BLD(section 9.2.1) was outdated, so I fixed the proof.
>
>
> Best, Jos
> --
> Jos de Bruijn
>  Web:          http://www.debruijn.net/
>  LinkedIn:     http://it.linkedin.com/in/josdebruijn
>  Skype:        josdebruijn
>  Google Talk:  jos.debruijn@gmail.com
>  Mobile phone: +43 660 313 5733
>



-- 
Jos de Bruijn
 Web:          http://www.debruijn.net/
 LinkedIn:     http://it.linkedin.com/in/josdebruijn
 Skype:        josdebruijn
 Google Talk:  jos.debruijn@gmail.com
 Mobile phone: +43 660 313 5733
Received on Thursday, 1 April 2010 14:40:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 1 April 2010 14:40:48 GMT