- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Mon, 21 Apr 2008 15:18:02 +0100
- To: Michael Schneider <schneid@fzi.de>
- CC: OWL Working Group WG <public-owl-wg@w3.org>
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? We can discuss that briefly at the telecon. Jeremy
Received on Monday, 21 April 2008 14:19:46 UTC