Re: [SWC] status of proofs in appendix

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