W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2008

Re: ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due to self restrictions

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 21 Apr 2008 15:18:02 +0100
Message-ID: <480CA21A.20209@hpl.hp.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 21 April 2008 14:19:46 GMT