ISSUE-117: RAISED: ditch comprehension principles

solipsism

RAISED: ditch comprehension principles

State:

CLOSED

Product:

Raised by:

Jeremy Carroll

Opened on:

2008-04-16

Description:

In 2002 I suggested an OWL Full semantics without comprehension principles, [1].

In the light of the renewed schneider [2] variant of the patel-schneider paradox, it may be appropriate to reconsider the (straw poll) rejection of that proposal from the amsterdam f2f of webont [3].


[1]
http://lists.w3.org/Archives/Public/www-webont-wg/2002Mar/0179.html
[2]
http://www.w3.org/2007/OWL/wiki/FullIssues#paradoxical_self-restrictions
[3]
http://www.w3.org/2001/sw/WebOnt/ftf2.html#SEM:

This issue is not intended to preempt any consideration by the Full team, but is more intended to provide continuity links in the historical record between the contemplations of the two WGs.

(I have been outvoted before, and can be outvoted again :) )

(note: formally I withdraw the proposal due to lack of support)

Related Actions Items:

No related actions

Related emails:

1. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from alan.wu@oracle.com on 2008-07-12)
2. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from alanruttenberg@gmail.com on 2008-07-11)
3. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from bparsia@cs.man.ac.uk on 2008-07-11)
4. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from alanruttenberg@gmail.com on 2008-07-11)
5. Withdrawl ISSUE-117 (from jjc@hpl.hp.com on 2008-04-22)
6. RE: ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due to self restrictions (from schneid@fzi.de on 2008-04-21)
7. Re: ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due to self restrictions (from jjc@hpl.hp.com on 2008-04-21)
8. RE: ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due to self restrictions (from schneid@fzi.de on 2008-04-21)
9. Re: ISSUE-119 (russell paradox): OWL 2 Full may become inconsistent due to self restrictions (from jjc@hpl.hp.com on 2008-04-21)
10. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-20)
11. ISSUE-117 (solipsism): RAISED: ditch comprehension principles (from sysbot+tracker@w3.org on 2008-04-16)

Related notes:

Display change log