ACTION-231
Provide proof sketch for Profiles Theorem 1
- State:
- closed
- Person:
- Boris Motik
- Due on:
- 2008-10-31
- Created on:
- 2008-10-16
- Associated Issue:
- Rdlrelation
- Related emails:
- 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)
- 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)
- 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:
2008-10-19 16:36:32: 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]
Changelog:
2008-10-16 11:45:35: Created action 'Provide proof sketch for Profiles Theorem 1' assigned to Boris Motik, due 2008-10-31 bound to ISSUE-142
2008-10-19 16:36:32: Status changed to 'pending review' [Boris Motik]
2008-11-10 11:19:29: Status changed to 'closed' [Ian Horrocks]