Re: [SWC] omission in RIF-OWL2RL combination embedding

Nevermind. I found out that the new row 28 is redundant with row 3, so
there was actually no problem.
It's been too long since I wrote the original embedding...

Cheers, Jos

On Tue, Jun 8, 2010 at 1:17 PM, Jos de Bruijn <jos.debruijn@gmail.com> wrote:
> Axel has found an omission in the embedding of RIF-OWL2RL combinations
> into RIF [1]. In particular, the embedding of simple statements
>  SubClassOf(A B)
> where A and B are class, was not considered. I corrected the problem
> by adding the new row 28 to the table in section 9.2.2.2 of SWC.
> I would argue that this is not a substantive change, but rather a
> bug-fix: the embedding does not work without the new row 28 in the
> table.
>
>
> Cheers, Jos
>
> [1] http://www.w3.org/2005/rules/wiki/SWC#Embedding_RIF-OWL_2_RL_Combinations
> [2] http://www.w3.org/2005/rules/wiki/SWC#Embedding_Normalized_OWL_2_RL
>
> --
> Jos de Bruijn
>  Web:          http://www.debruijn.net/
>  LinkedIn:     http://at.linkedin.com/in/josdebruijn
>



-- 
Jos de Bruijn
  Web:          http://www.debruijn.net/
  LinkedIn:     http://at.linkedin.com/in/josdebruijn

Received on Tuesday, 8 June 2010 11:22:45 UTC