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

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