ISSUE-142
Rdlrelation
RESOLVED: Relationship between OWL-RL DL and OWL-RL Full (theorem 1)
- State:
- CLOSED
- Product:
- Raised by:
- Alan Ruttenberg
- Opened on:
- 2008-08-15
- Description:
There is an outstanding comment asking about a proof of theorem. In addition recently a question about whether it is correct for the interaction between annotations and owl:sameAs. We need to resolve how what we will do with respect to proof.
- Related Actions Items:
ACTION-231 on Boris Motik to Provide proof sketch for Profiles Theorem 1 - due 2008-10-31, closed- 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)
- RE: ISSUE-142 (Rdlrelation): Problems with statement re: relationship between OWL-RL DL and OWL-RL Full (from boris.motik@comlab.ox.ac.uk on 2008-08-16)
- ISSUE-142 (Rdlrelation): Problems with statement re: relationship between OWL-RL DL and OWL-RL Full (from sysbot+tracker@w3.org on 2008-08-15)
Related notes:
2008-08-31 11:56:30: Edited to bring up-to-date [Alan Ruttenberg]
2008-10-23 16:57:02: Proof sketch added to Profiles document.
See: http://www.w3.org/2007/OWL/meeting/2008-10-23#resolution_4 [Ian Horrocks]
Display change log
