ISSUE-69

punning

RESOLVED: punning is incompatible with OWL Full

State:

CLOSED

Product:

Raised by:

Jeremy Carroll

Opened on:

2007-11-20

Description:

OWL Full 1.0 allows any URI to function in the various roles of individual, data property URI, object property URI, class etc. etc.

Under OWL Full semantics this is not punning but identity.

The proposed semantics for punning in the member submission is *weaker*, so that the member submission either requires:
- a non backward compatible change to OWL Full semantics
- or a weakening of the relationship between OWL DL and OWL Full, so that DL is a fragment of OWL.

Related Actions Items:

No related actions

Related emails:

1. ISSUE-103 (metamapping): Meta Issue to track other issues related to mapping (from sysbot+tracker@w3.org on 2008-03-17)
2. RE: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from schneid@fzi.de on 2008-02-01)
3. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from pfps@research.bell-labs.com on 2008-02-01)
4. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from schneid@fzi.de on 2008-02-01)
5. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from pfps@research.bell-labs.com on 2008-01-25)
6. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from hendler@cs.rpi.edu on 2008-01-24)
7. Re: Proposal to close ISSUE-69 (from jjc@hpl.hp.com on 2008-01-23)
8. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from pfps@research.bell-labs.com on 2008-01-23)
9. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from jjc@hpl.hp.com on 2008-01-23)
10. Re: Proposal to close ISSUE-69 (from bparsia@cs.man.ac.uk on 2008-01-23)
11. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from pfps@research.bell-labs.com on 2008-01-23)
12. Re: Proposal to close ISSUE-69 (from jjc@hpl.hp.com on 2008-01-23)
13. Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from jjc@hpl.hp.com on 2008-01-23)
14. Proposal to close ISSUE-69 (from bparsia@cs.man.ac.uk on 2008-01-10)
15. possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability) (from pfps@research.bell-labs.com on 2007-12-13)
16. Re: ISSUE-69 (punning): REPORTED: punning is incompatible with OWL Full (from bparsia@cs.man.ac.uk on 2007-11-21)
17. ISSUE-69 (punning): REPORTED: punning is incompatible with OWL Full (from sysbot+tracker@w3.org on 2007-11-20)

Related notes:

Display change log.