ACTION-231: Provide proof sketch for Profiles Theorem 1

Provide proof sketch for Profiles Theorem 1

State:
closed
Person:
Boris Motik
Due on:
October 31, 2008
Created on:
October 16, 2008
Associated Issue:
Rdlrelation
Related emails:
  1. Re: ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document) (from pfps@research.bell-labs.com on 2008-10-20)
  2. Re: ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document) (from bparsia@cs.man.ac.uk on 2008-10-19)
  3. ACTION-231 completed (add a proof sketch for Theorem 1 in the Profiles document) (from boris.motik@comlab.ox.ac.uk on 2008-10-19)

Related notes:

Here is an e-mail notifying the WG about action's completion:

http://lists.w3.org/Archives/Public/public-owl-wg/2008Oct/0131.html

Boris Motik, 19 Oct 2008, 16:36:32

Display change log.

Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Chair, Sandro Hawke <sandro@w3.org>, Ivan Herman <ivan@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.287 2012/02/01 05:29:12 dom Exp $