ISSUE-83

Property Chain Axioms

RESOLVED: Property Chain Axiom: P1 o P2 => P2 o P1

State:
CLOSED
Product:
Raised by:
Vipul Kashyap
Opened on:
2007-11-29
Description:
I would like support for the property chain axiom.
The use case is based on Alan Rector's example in the DL Handbook

Skin of the finger is part of the skin of the hand.
covers o part --> part o covers

Thanks,

---Vipul
Related Actions Items:
No related actions
Related emails:
  1. Re: Proposal to close ISSUE-83 and ISSUE-8 (from ian.horrocks@comlab.ox.ac.uk on 2008-01-11)
  2. Re: Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-11)
  3. Re: Proposal to close ISSUE-83 and ISSUE-8 (from hendler@cs.rpi.edu on 2008-01-10)
  4. Re: Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-10)
  5. Re: Proposal to close ISSUE-83 and ISSUE-8 (from hendler@cs.rpi.edu on 2008-01-10)
  6. Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-10)
  7. Re: PROPOSAL to close ISSUE-83 (ACTION-51) (from alanruttenberg@gmail.com on 2008-01-07)
  8. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
  9. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
  10. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from hendler@cs.rpi.edu on 2007-12-13)
  11. Re: PRPOSAL to close ISSUE-8 (from clu@tcs.inf.tu-dresden.de on 2007-12-13)
  12. Re: PROPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
  13. Re: PRPOSAL to close ISSUE-8 (from sattler@cs.man.ac.uk on 2007-12-13)
  14. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
  15. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
  16. Re: PRPOSAL to close ISSUE-8 (from sattler@cs.man.ac.uk on 2007-12-13)
  17. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
  18. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
  19. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
  20. RE: PROPOSAL to *close* (not postpone) ISSUE-83 (from VKASHYAP1@PARTNERS.ORG on 2007-12-13)
  21. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from hendler@cs.rpi.edu on 2007-12-13)
  22. PROPOSAL to *close* (not postpone) ISSUE-83 (from pfps@research.bell-labs.com on 2007-12-13)
  23. PRPOSAL to close ISSUE-8 (from pfps@research.bell-labs.com on 2007-12-13)
  24. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-06)
  25. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from alanruttenberg@gmail.com on 2007-12-06)
  26. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
  27. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
  28. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
  29. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
  30. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
  31. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-12-04)
  32. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
  33. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sattler@cs.man.ac.uk on 2007-12-03)
  34. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
  35. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from alanruttenberg@gmail.com on 2007-12-03)
  36. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from conrad.bock@nist.gov on 2007-12-03)
  37. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
  38. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from ian.horrocks@comlab.ox.ac.uk on 2007-12-03)
  39. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
  40. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from alanruttenberg@gmail.com on 2007-12-02)
  41. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-12-02)
  42. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-02)
  43. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-11-30)
  44. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sattler@cs.man.ac.uk on 2007-11-30)
  45. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-11-30)
  46. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-11-30)
  47. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from msmith@clarkparsia.com on 2007-11-30)
  48. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from jjc@hpl.hp.com on 2007-11-30)
  49. ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sysbot+tracker@w3.org on 2007-11-29)

Related notes:

2008-01-11 16:52:55: Resolved 2008.01.09 as per email http://lists.w3.org/Archives/Public/public-owl-wg/2008Jan/0022.html; see
http://www.w3.org/2007/OWL/wiki/Teleconference.2008.01.09/Minutes#issue_proposals [Ian Horrocks]

Changelog:

2007-11-29 20:58:36: Created issue 'Property Chain Axiom: P1 o P2 => P2 o P1' nickname Vipul owned by Vipul Kashyap on product , description 'I would like support for the property chain axiom. The use case is based on Alan Rector's example in the DL Handbook Skin of the finger is part of the skin of the hand. covers o part --> part o covers Thanks, ---Vipul ' non-public [Vipul Kashyap]

2007-12-02 14:33:30: title changed to 'REPORTED: Property Chain Axiom: P1 o P2 => P2 o P1' [Ian Horrocks]

2007-12-02 14:33:30: nickname changed to 'Property Chain Axioms' [Ian Horrocks]

2007-12-02 14:33:30: Issue dissociated from any product [Ian Horrocks]

2007-12-02 14:42:39: title changed to 'ACCEPTED: Property Chain Axiom: P1 o P2 => P2 o P1' [Ian Horrocks]

2007-12-02 14:42:39: Issue dissociated from any product [Ian Horrocks]

2008-01-11 16:52:55: title changed to 'RESOLVED: Property Chain Axiom: P1 o P2 => P2 o P1' [Ian Horrocks]

2008-01-11 16:52:55: Issue dissociated from any product [Ian Horrocks]

2008-01-11 16:52:55: Status changed to 'closed' [Ian Horrocks]

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 $