ISSUE-114

general punning

RESOLVED: Which combinations of punning should be allowed?

State:
CLOSED
Product:
Raised by:
Michael Schneider
Opened on:
2008-04-07
Description:
At F2F2 we have decided to drop punning between different kinds of properties (data, object and annotation properties). 

Aside from individual/class punning, for which the WG has identified several usecases, there are still a lot of other possibilities to pun. From the first version of the DL Semantics working draft:

    Since OWL 1.1 allows punning [Metamodeling] in the signature, 
    we do not require the sets N_C, N_Po, N_Pd, N_I, N_D, and N_V 
    to be pair-wise disjoint. Thus, the same name can be used 
    in an ontology to denote a class, a datatype, a property 
    (object or data), an individual, and a constant.

So, as an example, it is still possible to pun between classes and an object properties.

We have to decide, which of the possible combinations of syntactical categories do we want to allow for punning.
Related Actions Items:
No related actions
Related emails:
  1. Re: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from alanruttenberg@gmail.com on 2008-10-17)
  2. Re: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from alanruttenberg@gmail.com on 2008-10-16)
  3. RE: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from boris.motik@comlab.ox.ac.uk on 2008-10-16)
  4. RE: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from boris.motik@comlab.ox.ac.uk on 2008-10-16)
  5. Re: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from alanruttenberg@gmail.com on 2008-10-15)
  6. RE: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from boris.motik@comlab.ox.ac.uk on 2008-10-15)
  7. Re: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from alanruttenberg@gmail.com on 2008-10-15)
  8. Re: A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from pfps@research.bell-labs.com on 2008-10-14)
  9. A proposal for resolving the punning issue (ISSUE-114) + a related proposal for a tweak to the annotation system (from boris.motik@comlab.ox.ac.uk on 2008-10-08)
  10. Re: proposal to resolve issue-114 - Which combinations of punning should be allowed? (from alanruttenberg@gmail.com on 2008-08-19)
  11. Re: proposal to resolve issue-114 - Which combinations of punning should be allowed? (from bparsia@cs.man.ac.uk on 2008-08-19)
  12. RE: proposal to resolve issue-114 - Which combinations of punning should be allowed? (from boris.motik@comlab.ox.ac.uk on 2008-08-19)
  13. proposal to resolve issue-114 - Which combinations of punning should be allowed? (from alanruttenberg@gmail.com on 2008-08-19)
  14. Re: Detection, where? How? (was Re: Allowed types of punning (ISSUE-114)) (from bparsia@cs.man.ac.uk on 2008-07-10)
  15. Re: Detection, where? How? (was Re: Allowed types of punning (ISSUE-114)) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  16. Detection, where? How? (was Re: Allowed types of punning (ISSUE-114)) (from bparsia@cs.man.ac.uk on 2008-07-10)
  17. RE: Allowed types of punning (ISSUE-114) (from boris.motik@comlab.ox.ac.uk on 2008-07-10)
  18. Re: Allowed types of punning (ISSUE-114) (from bparsia@cs.man.ac.uk on 2008-07-10)
  19. Re: Allowed types of punning (ISSUE-114) (from rob.shearer@comlab.ox.ac.uk on 2008-07-10)
  20. Re: Allowed types of punning (ISSUE-114) (from bparsia@cs.man.ac.uk on 2008-07-10)
  21. Re: Allowed types of punning (ISSUE-114) (from pfps@research.bell-labs.com on 2008-07-10)
  22. Re: Allowed types of punning (ISSUE-114) (from alanruttenberg@gmail.com on 2008-07-10)
  23. Re: Allowed types of punning (ISSUE-114) (from alanruttenberg@gmail.com on 2008-07-10)
  24. Re: Allowed types of punning (ISSUE-114) (from pfps@research.bell-labs.com on 2008-07-09)
  25. Re: Allowed types of punning (ISSUE-114) (from bparsia@cs.man.ac.uk on 2008-07-09)
  26. Allowed types of punning (ISSUE-114) (from boris.motik@comlab.ox.ac.uk on 2008-07-09)
  27. RE: ISSUE-114 [RE: Teleconference.2008.07.09/Agenda] (from schneid@fzi.de on 2008-07-09)
  28. Re: ISSUE-114 [RE: Teleconference.2008.07.09/Agenda] (from hoekstra@uva.nl on 2008-07-09)
  29. Re: ISSUE-114 [RE: Teleconference.2008.07.09/Agenda] (from bparsia@cs.man.ac.uk on 2008-07-09)
  30. ISSUE-114 [RE: Teleconference.2008.07.09/Agenda] (from schneid@fzi.de on 2008-07-09)
  31. Re: Teleconference.2008.07.09/Agenda (from bparsia@cs.man.ac.uk on 2008-07-09)
  32. Re: Teleconference.2008.07.09/Agenda (from alanruttenberg@gmail.com on 2008-07-09)
  33. Re: Teleconference.2008.07.09/Agenda (from bparsia@cs.man.ac.uk on 2008-07-08)
  34. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-07-02)
  35. RE: Issue-114 (from boris.motik@comlab.ox.ac.uk on 2008-07-02)
  36. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-07-02)
  37. Re: Issue-114 (from hoekstra@uva.nl on 2008-07-02)
  38. RE: Issue-114 (from schneid@fzi.de on 2008-07-02)
  39. RE: Issue-114 (punning) (from boris.motik@comlab.ox.ac.uk on 2008-07-02)
  40. Re: Issue-114 (punning) (from pfps@research.bell-labs.com on 2008-07-02)
  41. Re: Issue-114 (from hoekstra@uva.nl on 2008-07-02)
  42. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-07-02)
  43. Re: Issue-114 (from alanruttenberg@gmail.com on 2008-07-01)
  44. Re: Issue-114 (from ewallace@cme.nist.gov on 2008-07-01)
  45. Re: Issue-114 (from hoekstra@uva.nl on 2008-07-01)
  46. Re: Issue-114 (from alanruttenberg@gmail.com on 2008-07-01)
  47. Re: Issue-114 (from hoekstra@uva.nl on 2008-07-01)
  48. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-07-01)
  49. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-07-01)
  50. Re: Issue-114 (from alanruttenberg@gmail.com on 2008-06-30)
  51. Re: Issue-114 (from alanruttenberg@gmail.com on 2008-06-30)
  52. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-06-30)
  53. Re: Issue-114 (from bparsia@cs.man.ac.uk on 2008-06-30)
  54. Re: Issue-114 (from alanruttenberg@gmail.com on 2008-06-30)
  55. Re: Issue-114 (from hoekstra@uva.nl on 2008-06-30)
  56. Issue-114 (from alanruttenberg@gmail.com on 2008-06-30)
  57. ISSUE-114 (general punning): Which combinations of punning should be allowed? (from sysbot+tracker@w3.org on 2008-04-07)

Related notes:

2008-10-23 16:50:54: See: http://www.w3.org/2007/OWL/meeting/2008-10-23#resolution_1
[Ian Horrocks]

2008-10-30 15:46:26: Added new annotation syntax to Manchester syntax
http://lists.w3.org/Archives/Public/public-owl-wg/2008Oct/0169.html [Peter Patel-Schneider]

Changelog:

2008-04-07 21:25:46: Created issue 'Which combinations of punning should be allowed?' nickname general punning owned by Michael Schneider on product , description 'At F2F2 we have decided to drop punning between different kinds of properties (data, object and annotation properties). Aside from individual/class punning, for which the WG has identified several usecases, there are still a lot of other possibilities to pun. From the first version of the DL Semantics working draft: Since OWL 1.1 allows punning [Metamodeling] in the signature, we do not require the sets N_C, N_Po, N_Pd, N_I, N_D, and N_V to be pair-wise disjoint. Thus, the same name can be used in an ontology to denote a class, a datatype, a property (object or data), an individual, and a constant. So, as an example, it is still possible to pun between classes and an object properties. We have to decide, which of the possible combinations of syntactical categories do we want to allow for punning. ' non-public [Michael Schneider]

2008-06-30 17:11:19: Issue dissociated from any product [Ian Horrocks]

2008-06-30 17:11:19: Status changed to 'open' [Ian Horrocks]

2008-10-23 16:50:54: title changed to 'RESOLVED: Which combinations of punning should be allowed?' [Ian Horrocks]

2008-10-23 16:50:54: Issue dissociated from any product [Ian Horrocks]

2008-10-23 16:50:54: Status changed to 'closed' [Ian Horrocks]

2008-10-30 15:46:26: Issue dissociated from any product [Peter Patel-Schneider]

Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Alan Ruttenberg <alanruttenberg@gmail.com>, Chairs, Ivan Herman <ivan@w3.org>, Sandro Hawke <sandro@w3.org>, Staff Contacts
Tracker, originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.231 2009/11/16 15:00:54 dom Exp $