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
>>> 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
>> 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.
>> 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.



Received on Monday, 21 April 2008 15:11:59 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:04 UTC