W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2008

Re: ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 20 Oct 2008 12:50:40 -0400 (EDT)
Message-Id: <20081020.125040.139570634.pfps@research.bell-labs.com>
To: boris.motik@comlab.ox.ac.uk
Cc: public-owl-wg@w3.org

From: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Subject: ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document)
Date: Sun, 19 Oct 2008 17:35:02 +0100

> 
> 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
> 
> 
> Please note that this is just a sketch: a full proof would be way too complex to fit into this document.
> 
> Please let me know should you have any comments about it. Are we now ready to close ISSUE-142?
> 
> Regards,
> 
> 	Boris
> 
> 
Good job.  Keep up the good work.  :-)

peter
Received on Monday, 20 October 2008 16:51:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC