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

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

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Sun, 19 Oct 2008 17:35:02 +0100
To: <public-owl-wg@w3.org>
Message-ID: <389E76578F76407792E44DD58920995A@wolf>


I've just added a sketch of a proof of Theorem 1 in the Profiles document. Here is the diff:


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?


Received on Sunday, 19 October 2008 16:35:41 UTC

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