ISSUE-114: RESOLVED: Which combinations of punning should be allowed?

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:

See: http://www.w3.org/2007/OWL/meeting/2008-10-23#resolution_1

Ian Horrocks, 23 Oct 2008, 16:50:54

Added new annotation syntax to Manchester syntax
http://lists.w3.org/Archives/Public/public-owl-wg/2008Oct/0169.html

Peter Patel-Schneider, 30 Oct 2008, 15:46:26

Display change log ATOM feed

Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Chair, Sandro Hawke <sandro@w3.org>, Ivan Herman <ivan@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.287 2012/02/01 05:29:12 dom Exp $