- From: Michael Schneider <schneid@fzi.de>
- Date: Mon, 21 Apr 2008 17:01:57 +0200
- To: "Jeremy Carroll" <jjc@hpl.hp.com>
- Cc: "OWL Working Group WG" <public-owl-wg@w3.org>
Received on Monday, 21 April 2008 15:11:59 UTC
Jeremy Carroll wrote: >Michael Schneider wrote: >> Jeremy Carroll wrote: >> >>>> ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due >to >>> self restrictions >>> >>> Essentially this duplicates ISSUE-117. >> >> ISSUE-117 is (a) much broader in its scope than ISSUE-119, and (b) it >is not >> clear at the moment whether completely dropping the comprehension >principle >> for self restrictions is the only possible technical solution for this >> problem. >> >>> I suggest we only take one of >>> them forward, and I am neutral as to which. >> >> Then it makes sense to start with ISSUE-119, which *needs* a solution. >The >> more general ISSUE-117 may or may not become a relevant topic /after/ >> resolving ISSUE-119. >> > >So why don't I withdraw 117, possibly resubmitting it later? I believe that this is probably the best way to proceed. >We can discuss that briefly at the telecon. Yes! Cheers, Michael
Received on Monday, 21 April 2008 15:11:59 UTC