Re: ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document) from Bijan Parsia on 2008-10-19 (public-owl-wg@w3.org from October 2008)

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Sun, 19 Oct 2008 17:52:19 +0100
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Cc: <public-owl-wg@w3.org>
Message-Id: <EEDBE0A5-FDF6-419A-853A-E8CD193FDC23@cs.man.ac.uk>

On Oct 19, 2008, at 5:35 PM, Boris Motik wrote:

> Hello,
>
> I've just added a sketch of a proof of Theorem 1 in the Profiles  
> document. Here is the diff:
>
> http://www.w3.org/2007/OWL/wiki/index.php? 
> title=Profiles&diff=14036&oldid=14034

Looks good to me.

> Please note that this is just a sketch: a full proof would be way  
> too complex to fit into this document.

And complex not because of deep mathematics, but because of really  
ugly structures that are freaking verbose and nasty. I don't think  
one would gain any extra insight or confidence for writing that all  
out. Indeed, it should be pretty obvious how things would go just by  
looking at the tables for each RHS that contains one of the  
constructs in O_2.

> Please let me know should you have any comments about it. Are we  
> now ready to close ISSUE-142?

I certainly am.

Cheers,
Bijan.

Received on Sunday, 19 October 2008 16:52:57 UTC