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: Michael Schneider <schneid@fzi.de>
Date: Mon, 21 Apr 2008 17:01:57 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A08BDAB1@judith.fzi.de>
To: "Jeremy Carroll" <jjc@hpl.hp.com>
Cc: "OWL Working Group WG" <public-owl-wg@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 21 April 2008 15:11:59 GMT